2364 search results - page 349 / 473 » On O-Minimal Hybrid Systems |
185
click to vote
ICRA
2007
IEEE
16 years 24 days ago
2007
IEEE
Abstract— This paper presents a hybrid decoupled visionbased control scheme valid for the entire class of central catadioptric sensors (including conventional perspective cameras...
149
click to vote
IPPS
2007
IEEE
16 years 24 days ago
2007
IEEE
Model checking, logging, debugging, and checkpointing/recovery are great tools to identify bugs in small sequential programs. The direct application of these techniques to the dom...
186
click to vote
IPPS
2007
IEEE
16 years 24 days ago
2007
IEEE
We propose a two-layered approach for exploiting different forms of concurrency in complex systems: We specify computational components in our functional array language SaC, whic...
213
click to vote
MTV
2007
IEEE
16 years 23 days ago
2007
IEEE
Abstract—Abstract models of analog/mixed-signal (AMS) circuits can be used for formal verification and system-level simulation. The difficulty of creating these models preclude...
172
click to vote
VR
2007
IEEE
16 years 23 days ago
2007
IEEE
Anywhere Augmentation pursues the goal of lowering the initial investment of time and money necessary to participate in mixed reality work, bridging the gap between researchers in...