3053 search results - page 485 / 611 » Hybrid Systems Diagnosis |
ICDAR
2007
IEEE
14 years 4 months ago
2007
IEEE
This article describes an off-line handwritten Arabic words recognition system. Both explicit graphem segmentation and feature extraction are originally designed for Latin cursive...
ICRA
2007
IEEE
14 years 4 months 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...
IPPS
2007
IEEE
14 years 4 months 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...
IPPS
2007
IEEE
14 years 4 months 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...
MTV
2007
IEEE
14 years 4 months 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...