272 search results - page 12 / 55 » Evaluating the Model Accuracy in Automated Design Space Expl... |
112
Voted
TOG
2012
13 years 20 days ago
2012
Large collections of 3D models from the same object class (e.g., chairs, cars, animals) are now commonly available via many public repositories, but exploring the range of shape v...
89
Voted
ECBS
2003
IEEE
15 years 3 months ago
2003
IEEE
Polymorphous computer-based systems are systems in which the CPU architecture “morphs” or changes shape to meet the requirements of the application. Optimized and efficient de...
CHI
1999
ACM
15 years 2 months ago
1999
ACM
Models of learning and performing by exploration assume that the semantic distance between task descriptions and screen labels controls in part the usersÕ search strategies. Neve...
FMCAD
2007
Springer
15 years 4 months ago
2007
Springer
Abstract— Model checking can be aided by inductive invariants, small local properties that can be proved by simple induction. We present a way to automatically extract inductive ...
68
Voted
DAC
2003
ACM
15 years 11 months ago
2003
ACM
Exploring a large portion of the microprocessor design space requires the rapid development of efficient simulators. While some systems support rapid model development through the...