455 search results - page 83 / 91 » Understanding Counterexamples with explain |
WDAG
2009
Springer
15 years 3 months ago
2009
Springer
This paper defines the basic notions of local and non-local tasks, and determines the minimum information about failures that is necessary to solve any non-local task in message-p...
112
click to vote
IWVF
2001
Springer
15 years 3 months ago
2001
Springer
Volumetric images of small mortar samples under load are acquired by X-ray microtomography. The images are binarized at many different threshold values, and over a million connecte...
111
click to vote
ICCV
1995
IEEE
15 years 2 months ago
1995
IEEE
A new approach to tracking weakly modeled objects in a semantically rich domain is presented. We define a closed-world as a space-time region of an image sequence in which the co...
69
Voted
CHI
2010
ACM
15 years 2 months ago
2010
ACM
We conducted a series of user studies to understand and clarify the fundamental characteristics of pressure in user interfaces for mobile devices. We seek to provide insight to cl...
ALGOSENSORS
2008
Springer
15 years 1 months ago
2008
Springer
With the current progress in robot technology and related areas, sophisticated moving and sensing capabilities are at hand to design robots capable of solving seemingly complex tas...