Obserwuj
Vineet Gupta
Vineet Gupta
Google Inc
Zweryfikowany adres z google.com - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Metrics for labelled Markov processes
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
Theoretical computer science 318 (3), 323-354, 2004
3822004
Robust timed automata
V Gupta, TA Henzinger, R Jagadeesan
International Workshop on Hybrid and Real-Time Systems, 331-345, 1997
2081997
Metrics for labeled Markov systems
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
CONCUR’99 Concurrency Theory: 10th International Conference Eindhoven, The …, 1999
2031999
Transliteration for query expansion
L Katragadda, V Gupta, P Prahladka
US Patent 8,521,761, 2013
1972013
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
1952002
The singular values of convolutional layers
H Sedghi, V Gupta, PM Long
arXiv preprint arXiv:1805.10408, 2018
1872018
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
1861994
Timed default concurrent constraint programming
VA Saraswat, R Jagadeesan, V Gupta
Journal of Symbolic computation 22 (5), 475-520, 1996
1561996
Chu spaces: a model of concurrency
V Gupta
stanford university, 1994
1441994
Approximating labelled Markov processes
J Desharnais, V Gupta, R Jagadeesan, P Panangaden
Information and Computation 184 (1), 160-200, 2003
1432003
Shampoo: Preconditioned stochastic tensor optimization
V Gupta, T Koren, Y Singer
International Conference on Machine Learning, 1842-1850, 2018
1242018
Hybrid systems diagnosis
S McIlraith, G Biswas, D Clancy, V Gupta
Hybrid Systems: Computation and Control: Third International Workshop, HSCC …, 2000
1092000
Query identification and association
RV Guha, S Venkataraman, V Gupta, GB Gultekin, P Karbhari, A Jalan
US Patent 8,171,021, 2012
1032012
Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior.
BC Williams, S Chung, V Gupta
1032001
Computing with continuous change
V Gupta, R Jagadeesan, VA Saraswat
Science of computer programming 30 (1-2), 3-49, 1998
941998
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
882008
Second order optimization made practical
R Anil, V Gupta, T Koren, K Regan, Y Singer
arXiv preprint arXiv:2002.09018, 2020
81*2020
Stochastic processes as concurrent constraint programs
V Gupta, R Jagadeesan, P Panangaden
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999
801999
Programming in hybrid constraint languages
V Gupta, R Jagadeesan, V Saraswat, DG Bobrow
Hybrid Systems II 2, 226-251, 1995
761995
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
752015
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20