6020 search results - page 447 / 1204 » A New Approach to Model Counting |
169
click to vote
ICRA
1998
IEEE
15 years 11 months ago
1998
IEEE
Models of human control strategy (HCS), which accurately emulate dynamic human behavior, have far reaching potential in areas ranging from robotics to virtual reality to the intel...
225
click to vote
TVLSI
2008
15 years 6 months ago
2008
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...
204
click to vote
CVPR
2003
IEEE
16 years 7 days ago
2003
IEEE
This paper presents a new approach for continuous tracking of moving objects observed by multiple, heterogeneous cameras. Our approach simultaneously processes video streams from ...
198
click to vote
ASPDAC
2010
ACM
15 years 5 months ago
2010
ACM
In this paper, we present a new voltage IR drop analysis approach for large on-chip power delivery networks. The new approach is based on recently proposed sampling based reductio...
177
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we address the application of single sensor source separation techniques to mixtures of speech and music. Three strategies for source modeling are presented, namely ...