Sciweavers

11374 search results - page 246 / 2275
» Demonstration of the CROSSMARC System
Sort
View
CAV
2007
Springer
145views Hardware» more  CAV 2007»
15 years 10 months ago
Hybrid Systems: From Verification to Falsification
We propose HyDICE, Hybrid DIscrete Continuous Exploration, a multi-layered approach for hybrid-system testing that integrates continuous sampling-based robot motion planning with d...
Erion Plaku, Lydia E. Kavraki, Moshe Y. Vardi
179
Voted
DSN
2004
IEEE
15 years 10 months ago
Dependable Adaptive Real-Time Applications in Wormhole-based Systems
This paper describes and discusses the work carried on in the context of the CORTEX project, for the development of adaptive real-time applications in wormhole based systems. The ...
Pedro Martins, Paulo Jorge Paiva de Sousa, Antonio...
OOIS
2000
Springer
15 years 10 months ago
Reconfigurability in Object Database Management Systems: An Aspect-Oriented Approach
ABSTRACT. Cost-effective reconfiguration in ODBMSs is difficult to achieve due to the tradeoff between modularity and efficiency. Existing ODBMS designs offer limited reconfigurabi...
Awais Rashid, Ruzanna Chitchyan
EDBT
2010
ACM
205views Database» more  EDBT 2010»
15 years 10 months ago
Advanced knowledge discovery on movement data with the GeoPKDD system
The growing availability of mobile devices produces an enormous quantity of personal tracks which calls for advanced analysis methods capable of extracting knowledge out of massiv...
Mirco Nanni, Roberto Trasarti, Chiara Renso, Fosca...
CDC
2008
IEEE
129views Control Systems» more  CDC 2008»
15 years 8 months ago
How springs can help to stabilize motions of underactuated systems with weak actuators
In the field of robotics the energy spent for actuation is always an issue. It is often the case that some desired motions cannot be achieved by the robot due to limitations in act...
Uwe Mettin, Pedro X. La Hera, Leonid B. Freidovich...