3820 search results - page 29 / 764 » Bounded Model Debugging |
CHI
2010
ACM
14 years 2 months ago
2010
ACM
Information foraging models have predicted the navigation paths of people browsing the web and (more recently) of programmers while debugging, but these models do not explicitly m...
ICML
1997
IEEE
14 years 8 months ago
1997
IEEE
TASE
2008
IEEE
14 years 2 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
UAI
2004
13 years 9 months ago
2004
Recent research has made significant progress on the problem of bounding log partition functions for exponential family graphical models. Such bounds have associated dual paramete...
SI3D
1999
ACM
13 years 12 months ago
1999
ACM
This paper presents a framework that uses the outputs of model simplification to guide the construction of bounding volume hierarchies for use in, for example, collision detection...