( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Runtime Assurance Based On Formal Specifications.

, , , , и . PDPTA, стр. 279-287. CSREA Press, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Prahladavaradan Sampath

Karuppaiah Kannan

Srinivasaraghavan Kannan

Somasundar Kannan

Kannan Alpadi

 

Другие публикации лиц с тем же именем

Improved Hardness Results for Profit Maximization Pricing Problems with Unlimited Supply., , , и . APPROX-RANDOM, том 7408 из Lecture Notes in Computer Science, стр. 73-84. Springer, (2012)Lower Bounds on Random-Self-Reducibility., , и . SCT, стр. 100-109. IEEE Computer Society, (1990)Spatio-temporal analysis of Wikipedia metadata and the STiki anti-vandalism tool., , и . Int. Sym. Wikis, ACM, (2010)Dynamic Programming for Higher Order Parsing of Gap-Minding Trees., , и . EMNLP-CoNLL, стр. 478-488. ACL, (2012)An Approximate L1-Difference Algorithm for Massive Data Streams., , , и . SIAM J. Comput., 32 (1): 131-151 (2002)Hedging Bets in Markov Decision Processes., , , и . CSL, том 62 из LIPIcs, стр. 29:1-29:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Quantifying the Burden of Exploration and the Unfairness of Free Riding., , и . SODA, стр. 1892-1904. SIAM, (2020)A Formal Framework for Evaluating Heuristic Programs., , и . Ann. Math. Artif. Intell., 22 (3-4): 193-206 (1998)Randomized pursuit-evasion with limited visibility., , и . SODA, стр. 1060-1069. SIAM, (2004)Spot-Checkers, , , , и . J. Comput. Syst. Sci., 60 (3): 717-751 (2000)