1581 search results - page 218 / 317 » Mechanizing Inductive Reasoning |
JLP
2010
14 years 6 months ago
2010
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...
106
click to vote
ICCV
2011
IEEE
13 years 12 months ago
2011
IEEE
We describe an approach to category-level detection and viewpoint estimation for rigid 3D objects from single 2D images. In contrast to many existing methods, we directly integrat...
154
click to vote
AAAI
2012
13 years 2 months ago
2012
General Game Playing (GGP) agents must be capable of playing a wide variety of games skillfully. Monte-Carlo Tree Search (MCTS) has proven an effective reasoning mechanism for thi...
105
click to vote
TPHOL
2007
IEEE
15 years 6 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
NIPS
2003
15 years 1 months ago
2003
Recent work has examined the estimation of models of stimulus-driven neural activity in which some linear filtering process is followed by a nonlinear, probabilistic spiking stag...