Vineet Gupta
Vineet Gupta
Dirección de correo verificada de google.com - Página principal
Título
Citado por
Citado por
Año
Metrics for labelled Markov processes
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
Theoretical computer science 318 (3), 323-354, 2004
3382004
Robust timed automata
V Gupta, TA Henzinger, R Jagadeesan
International Workshop on Hybrid and Real-Time Systems, 331-345, 1997
2011997
Metrics for labeled Markov systems
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
International Conference on Concurrency Theory, 258-273, 1999
1921999
The metric analogue of weak bisimulation for probabilistic processes
J Desharnais, R Jagadeesan, V Gupta, P Panangaden
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, 413-422, 2002
1862002
Foundations of timed concurrent constraint programming
VA Saraswat, R Jagadeesan, V Gupta
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 71-80, 1994
1821994
Transliteration for query expansion
L Katragadda, V Gupta, P Prahladka
US Patent 8,521,761, 2013
1472013
Chu spaces: a model of concurrency
V Gupta
stanford university, 1994
1441994
Timed default concurrent constraint programming
VA Saraswat, R Jagadeesan, V Gupta
Journal of Symbolic computation 22 (5), 475-520, 1996
1411996
Approximating labelled Markov processes
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
Information and Computation 184 (1), 160-200, 2003
1402003
The singular values of convolutional layers
H Sedghi, V Gupta, PM Long
arXiv preprint arXiv:1805.10408, 2018
1172018
Hybrid systems diagnosis
S McIlraith, G Biswas, D Clancy, V Gupta
International Workshop on Hybrid Systems: Computation and Control, 282-295, 2000
1042000
Mode estimation of model-based programs: monitoring systems with complex behavior
BC Williams, S Chung, V Gupta
IJCAI, 579-590, 2001
982001
Query identification and association
RV Guha, S Venkataraman, V Gupta, GB Gultekin, P Karbhari, A Jalan
US Patent 8,171,021, 2012
962012
Computing with continuous change
V Gupta, R Jagadeesan, VA Saraswat
Science of computer programming 30 (1-2), 3-49, 1998
931998
System and method for providing preferred country biasing of search results
V Gupta, B Gomes, J Lamping, M McGrath, A Singhal, S Tong
US Patent 7,451,130, 2008
852008
Stochastic processes as concurrent constraint programs
V Gupta, R Jagadeesan, P Panangaden
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999
771999
Programming in hybrid constraint languages
V Gupta, R Jagadeesan, V Saraswat, DG Bobrow
International Hybrid Systems Workshop, 226-251, 1994
741994
Probabilistic concurrent constraint programming
V Gupta, R Jagadeesan, V Saraswat
International Conference on Concurrency Theory, 243-257, 1997
631997
Modeling time in hybrid systems: how fast is" instantaneous"?
Y Iwasaki, A Farquhar, V Saraswat, D Bobrow, V Gupta
IJCAI, 1773-1781, 1995
631995
User modeling for a personal assistant
R Guha, V Gupta, V Raghunathan, R Srikant
Proceedings of the Eighth ACM International Conference on Web Search and …, 2015
622015
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20