Bio-inspired design and dynamic maneuverability of a minimally actuated six-legged robot Aaron M. Hoover † , Samuel Burden‡ , Xiao-Yu Fu∗ , S. Shankar Sastry‡ , and R. S. Fearing‡ Abstract— Rapidly running ar

Source URL: robotics.eecs.berkeley.edu

Doppelganger: Better Browser Privacy Without the Bother Umesh Shankar Chris Karlof

Source URL: umeshshankar.com

Rain Taxi Review of Books Presents Ravi Shankar Shankar will read from Seamless Matters, published by Rain Taxi’s OHM Editions. Shankar is also

Source URL: raintaxi.com

Viswanath V. Shankar, et al. v. Imperva, Inc., et al. 14-CVOrder Granting Motion to Dismiss With Leave to Amend

Source URL: securities.stanford.edu

Rain Taxi Review of Books presents Ravi Shankar Ravi Shankar will read from Seamless Matters, the inaugural publication in Rain Taxi’s OHM Editions series

Source URL: raintaxi.com

Indian Movie Face Database: A Benchmark for Face Recognition Under Wide Variations Shankar Setty, Moula Husain, Parisa Beham, Jyothi Gudavalli, Menaka Kandasamy, Radhesyam Vaddi, Vidyagouri Hemadri, J C Karure, Raja Raju

Source URL: cvit.iiit.ac.in

VSComp: The Verified Software Competition Peter M¨ uller (ETH Zurich) and N. Shankar (SRI) Computer Science Laboratory SRI International Menlo Park, CA

Source URL: www.macs.hw.ac.uk

Cruanes, Heymans, Mason, Owre, and Shankar The Semantics of Datalog for the Evidential Tool Bus? (Extended Abstract) Simon Cruanes1 , Stijn Heymans2 , Ian Mason3 , Sam Owre3 , and Natarajan

Source URL: stijnheymans.net

• Predicate logic
• Mathematical logic
• Propositional calculus
• Automated theorem proving
• Query languages
• Datalog
• Prolog
• Logic programming
• Ground expression
• Horn clause
• Substitution
• First-order logic

Integrating Verification Components? Leonardo de Moura, Sam Owre, Harald Rueß, John Rushby, Natarajan Shankar Computer Science Laboratory SRI International Menlo Park CAUSA

Source URL: vstte.ethz.ch

Efficient Non-parametric Estimation of Multiple Embeddings per Word in Vector Space Arvind Neelakantan* , Jeevan Shankar* , Alexandre Passos, Andrew McCallum Department of Computer Science University of Massachusetts, Am

Source URL: people.cs.umass.edu