2311 search results - page 304 / 463 » Robustness and Generalization |
172
click to vote
SIGSOFT
2006
ACM
16 years 11 days ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
159
click to vote
CIG
2005
IEEE
16 years 1 days ago
2005
IEEE
This paper follows on from our previous work focused on formulating an efficient generic measure of user’s satisfaction (‘interest’) when playing predator/prey games. Viewin...
155
click to vote
GLVLSI
2005
IEEE
16 years 1 days ago
2005
IEEE
Robustness of high fan-in domino circuits is degraded by technology scaling due to exponential increase in leakage. In this paper, we propose a new domino circuit for high fan-in ...
146
click to vote
GLVLSI
2005
IEEE
16 years 1 days ago
2005
IEEE
Boolean Satisfiability (SAT) solvers are popular engines used throughout the verification world. Bounded sequential problems such as bounded model checking and bounded sequentia...
186
click to vote
ICCV
2005
IEEE
16 years 22 hour ago
2005
IEEE
This paper presents an efficient algorithm for image segmentation and a framework for perceptual grouping. It makes an attempt to provide one way of combining bottomup and top-do...