3053 search results - page 217 / 611 » Hybrid Systems Diagnosis |
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...
166
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...
146
click to vote
EEE
2005
IEEE
16 years 6 days ago
2005
IEEE
In this paper we discuss the Recommendz 1 recommender system. This domain-independent system combines the advantages of collaborative and content-based filtering in a novel way. ...
141
click to vote
LREC
2010
15 years 8 months ago
2010
The Quaero project organized a set of evaluations of Named Entity recognition systems in 2009, including reference extraction in patent text. The LIMSI participated in this evalua...