4693 search results - page 201 / 939 » Verifying Hybrid Systems |
148
click to vote
CVPR
2008
IEEE
16 years 7 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...
130
click to vote
EEE
2005
IEEE
15 years 11 months 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. ...
127
click to vote
LREC
2010
15 years 7 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...
176
click to vote
KES
2007
Springer
15 years 11 months ago
2007
Springer
Biological systems consist of many components and interactions between them. In Systems Biology the principal problem is modeling complex biological systems and reconstructing inte...
171
click to vote
CDC
2009
IEEE
15 years 3 months ago
2009
IEEE
Abstract-- The safety control problem for hybrid automata with imperfect mode information and continuous control is addressed. When the controller does not have access to the mode ...