4772 search results - page 302 / 955 » An approach to interface synthesis |
169
click to vote
MEMOCODE
2010
IEEE
15 years 4 months ago
2010
IEEE
We present a modular approach for verification of synchronization behavior in concurrent programs that use reentrant locks. Our approach decouples the verification of the lock impl...
156
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
There are currently two dominant interface types for searching and browsing large image collections: keywordbased search, and searching by overall similarity to sample images. We ...
198
click to vote
JNCA
2007
15 years 6 months ago
2007
Powerful microcontrollers are used as parts of most home and office appliances of today. Integrating web servers to these intelligent devices will aid in controlling them over th...
191
click to vote
ICPR
2006
IEEE
16 years 8 months ago
2006
IEEE
Tolerance to pose variations is one of the key remaining problems in face recognition. It is of great interest in airport surveillance systems using mugshot databases to screen tr...
189
Voted
CODES
2005
IEEE
16 years 13 days ago
2005
IEEE
Biochips based on digital microfluidics offer a powerful platform for massively parallel biochemical analysis such as clinical diagnosis and DNA sequencing. Current full-custom de...