4693 search results - page 661 / 939 » Verifying Hybrid Systems |
173
click to vote
CASES
2008
ACM
15 years 8 months ago
2008
ACM
While technology advances have made MPSoCs a standard architecture for embedded systems, their applicability is increasingly being challenged by dramatic increases in the amount o...
177
click to vote
WSCG
2004
15 years 8 months ago
2004
Palmprint verification is an approach for verifying a palmprint input by matching the input to the claimed identity template stored in a database. If the dissimilarity measure bet...
161
click to vote
CVPR
1998
IEEE
16 years 8 months ago
1998
IEEE
This paper describes an interactive sensor planning system that can be used to select viewpoints subject to camera visibility, field of view and task constraints. Application area...
195
click to vote
MICCAI
2009
Springer
16 years 7 months ago
2009
Springer
The automation and speedup of interventional therapy and diagnostic workflows is a crucial issue. One way to improve these workflows is to accelerate the image acquisition procedur...
189
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...