320 search results - page 33 / 64 » Constructing Invariants for Hybrid Systems |
159
click to vote
RECOMB
2000
Springer
15 years 9 months ago
2000
Springer
Custom-designed DNA arrays offer the possibility of simultaneously monitoring thousands of hybridization reactions. These arrays show great potential for many medical and scientif...
187
click to vote
NIPS
1997
15 years 7 months ago
1997
We have constructed an inexpensive, video-based, motorized tracking system that learns to track a head. It uses real time graphical user inputs or an auxiliary infrared detector a...
133
click to vote
TPHOL
2009
IEEE
16 years 15 days ago
2009
IEEE
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions,...
134
click to vote
HAPTICS
2003
IEEE
15 years 11 months ago
2003
IEEE
It seems likely that humans build internal models of objects that they explore haptically, and that the complexity of an internal model is not necessarily associated with complex ...
149
click to vote
ACCV
1998
Springer
15 years 10 months ago
1998
Springer
We present an object recognition system based on symbolic graphs with object corners as vertices and outlines as edges. Corners are determined in a robust way by a multiscale combi...