1257 search results - page 140 / 252 » A Novel Sequencer Hardware for Application Specific Computin... |
176
click to vote
ICCAD
2006
IEEE
16 years 13 days ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...
181
click to vote
MICRO
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--As multicore processors are deployed in mainstream computing, the need for software tools to help parallelize programs is increasing dramatically. Data-dependence profili...
180
click to vote
ICIAP
2009
ACM
16 years 5 months ago
2009
ACM
In this paper we combine a state of the art eye center locator and a new eye corner locator into a system which estimates the visual gaze of a user in a controlled environment (e.g...
145
click to vote
CVPR
1998
IEEE
16 years 8 months ago
1998
IEEE
In extended video sequences, individual frames are grouped into shots which are defined as a sequence taken by a single camera, and related shots are grouped into scenes which are...
180
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
Abstract. This paper presents a method for tracking multiple skincolored objects in images acquired by a possibly moving camera. The proposed method encompasses a collection of tec...