An Object-Oriented Framework for Explicit-State Model Checking Mark Kattenbelt1 and Theo C. Ruys2 and Arend Rensink2 Abstract. This paper presents a conceptual architecture for an object-oriented framework to support the

Source URL: qav.comlab.ox.ac.uk

• Theoretical computer science
• Formal methods
• Computing
• Mathematics
• Logic in computer science
• Graph rewriting
• Model checking
• Algorithm
• Formal verification
• Abstraction
• Generic programming
• Finite-state machine

Area 2 (Programming Techniques and the Web) Danny Yoo () Abstract The object capability (ocap) community uses Y-URLs (yurls) as a means of extending the ocap paradigm to the distributed world of the Web. L

Source URL: www.hashcollision.org

• Computing
• World Wide Web
• Uniform Resource Locator
• Network architecture
• Internet protocols
• Continuation
• Control flow
• Hypertext Transfer Protocol
• Web server
• Server
• HTTP referer

Active Classification: Theory and Application to Underwater Inspection Geoffrey A. Hollinger, Urbashi Mitra, and Gaurav S. Sukhatme Abstract We discuss the problem in which an autonomous vehicle must classify an object b

Source URL: robotics.usc.edu

A Companhia Inglesa de Cocais e a mineração de ouro no Brasil do século XIX.* Fábio Carlos da Silva ** ABSTRACT The main object of this paper is the history of the National Brazilian Mining Association

Source URL: www.abphe.org.br

Active Object Recognition via Monte Carlo Tree Search Mikko Lauri, Nikolay Atanasov, George J. Pappas, and Risto Ritala Abstract—This paper considers object recognition with a camera, whose viewpoint can be controlled

Source URL: erl.ucsd.edu

Learning Motion Dynamics to Catch a Flying Object Seungsu Kim, Elena Gribovskaya and Aude Billard I. I NTRODUCTION In this abstract, we consider a novel approach to control the timing of motions when these are encoded wi

Source URL: h2t-projects.webarchiv.kit.edu

Modelica® - A Unified Object-Oriented Language for Systems Modeling Language Specification Version 3.4 April 10, 2017 Abstract

Source URL: www.modelica.org

Progress in Computer Vision in the Last Decade: Object Recognition, People Detection and Human Pose Estimation Bernt Schiele Max Planck Institute Informatics, Germany Abstract

Source URL: iplab.dmi.unict.it

Learning to Place New Objects Yun Jiang, Changxi Zheng, Marcus Lim and Ashutosh Saxena Abstract— The ability to place objects in an environment is an important skill for a personal robot. An object should not only be p

Source URL: pr.cs.cornell.edu

Robobarista: Object Part based Transfer of Manipulation Trajectories from Crowd-sourcing in 3D Pointclouds Jaeyong Sung, Seok Hyun Jin, and Ashutosh Saxena Abstract There is a large variety of objects and appliances in

Source URL: pr.cs.cornell.edu