4434 search results - page 237 / 887 » On the Composition of Hybrid Systems |
166
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Taxon specific hybridization probes in combination with a variety of commonly used hybridization formats nowadays are standard tools in microbial identification. A fre...
175
click to vote
PPOPP
2009
ACM
16 years 1 months ago
2009
ACM
A trend is developing in high performance computing in which commodity processors are coupled to various types of computational accelerators. Such systems are commonly called hybr...
165
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
167
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
We propose a novel approach to reduce spatially varying motion blur using a hybrid camera system that simultaneously captures high-resolution video at a low-frame rate together wi...
164
click to vote
SRDS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper proposes a solution based on forward error recovery, oriented towards providing dependability of composite Web services. While exploiting their possible support for fau...