400 search results - page 48 / 80 » Moving Proofs-As-Programs into Practice |
AAAI
2007
13 years 11 months ago
2007
This paper presents a formalism to describe practical reasoning in terms of an Action-based Alternating Transition System (AATS). The starting point is a previously specified acc...
CRITICAL
2005
13 years 10 months ago
2005
As computing moves into every aspect of our daily lives, the process, values and assumptions that underlie our technical practices may unwittingly be propagated throughout our cul...
ESA
2010
Springer
13 years 9 months ago
2010
Springer
We consider parameterized convex optimization problems over the unit simplex, that depend on one parameter. We provide a simple and efficient scheme for maintaining an -approximat...
ICCV
2007
IEEE
14 years 10 months ago
2007
IEEE
Acquiring 3D models of intricate objects (like tree branches, bicycles and insects) is a hard problem due to severe self-occlusions, repeated thin structures and surface discontin...
MOBISYS
2004
ACM
14 years 8 months ago
2004
ACM
The focus of surveillance missions is to acquire and verify information about enemy capabilities and positions of hostile targets. Such missions often involve a high element of ri...