31387 search results - page 35 / 6278 » Abstracts |
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
undary controllability of an abstract Mead-Marcus sandwich beam model Scott W. Hansen and A. Ozkan Ozer Abstract-- In this paper we prove the exact boundary conlity of an abstract ...
CAV
2009
Springer
14 years 10 months ago
2009
Springer
tope Abstract Domain Taylor1+ Khalil Ghorbal, Eric Goubault, and Sylvie Putot CEA, LIST, Modelisation and Analysis of Systems in Interaction, F-91191 Gif-sur-Yvette Cedex, France, ...
HRI
2009
ACM
14 years 4 months ago
2009
ACM
Visualization Abstraction Algorithm for Geographic Map-based Human-Robot Interfaces Curtis M. Humphrey Julie A. Adams Department of Electrical Engineering and Computer Science Vand...
ATAL
2009
Springer
14 years 4 months ago
2009
Springer
ion in model checking multi-agent systems Mika Cohen Department of Computing Imperial College London London, UK Mads Dam Access Linnaeus Center Royal Institute of Technology Stockh...
GBRPR
2007
Springer
14 years 4 months ago
2007
Springer
D Images at Multiple Abstraction Levels Rodrigo Moreno∗, Miguel Angel Garcia∗∗ and Domenec Puig∗ (∗)Intelligent Robotics and Computer Vision Group, Rovira i Virgili Unive...