6020 search results - page 646 / 1204 » A New Approach to Model Counting |
170
click to vote
ASPDAC
2008
ACM
15 years 9 months ago
2008
ACM
Continuous transistor scaling due to improvements in CMOS devices and manufacturing technologies is increasing processor power densities and temperatures; thus, creating challenges...
177
click to vote
CONNECTION
2008
15 years 7 months ago
2008
We introduce an approach for physically-grounded natural language interpretation by robots which reacts appropriately to unanticipated physical changes in the environment and dyna...
219
click to vote
PAMI
2010
15 years 5 months ago
2010
—We present a generative model and inference algorithm for 3D nonrigid object tracking. The model, which we call G-flow, enables the joint inference of 3D position, orientation, ...
228
click to vote
VR
2010
IEEE
15 years 5 months ago
2010
IEEE
VirtualizeMe introduces a new design for a fully immersive TeleImmersion system for remote collaboration and virtual world interaction. This system introduces a new avatar creatio...
216
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
Previous work showed that statistical analysis techniques could successfully be used to construct compact signatures of distinct operational problems in Internet server systems. B...