6020 search results - page 937 / 1204 » A New Approach to Model Counting |
190
click to vote
ICCAD
1995
IEEE
15 years 10 months ago
1995
IEEE
In this paper, a new approach to analog test design based on the circuit design process, called Characteristic Observation Inference (COI), is presented. In many situations, it is...
146
click to vote
SGP
2007
15 years 9 months ago
2007
We present an approach for elastic secondary deformations of shapes described as triangular meshes. The deformations are steered by the simulation of a low number of simple mass-s...
174
click to vote
AAAI
2007
15 years 8 months ago
2007
How should a robot represent and reason about spatial information when it needs to collaborate effectively with a human? The form of spatial representation that is useful for robo...
194
click to vote
USS
2008
15 years 8 months ago
2008
Graphics processors are continuing their trend of vastly outperforming CPUs while becoming more general purpose. The latest generation of graphics processors have introduced the a...
169
click to vote
USS
2008
15 years 8 months ago
2008
The State of Ohio commissioned the EVEREST study in late summer of 2007. The study participants were charged with an analysis of the usability, stability, and security of all voti...