1702 search results - page 47 / 341 » Doomed program points |
146
click to vote
ECCV
2000
Springer
16 years 6 months ago
2000
Springer
Given a ? object and some measurements for points in this object, it is desired to find the ? location of the object. A new model based pose estimator from stereo pairs based on l...
110
click to vote
SIAMDM
2010
14 years 11 months ago
2010
We show that maximal S-free convex sets are polyhedra when S is the set of integral points in some rational polyhedron of Rn . This result extends a theorem of Lov
165
click to vote
FMOODS
2008
15 years 6 months ago
2008
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
130
click to vote
EH
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper reviews the use of genetic programming as an automated invention machine for the synthesis of both the topology and sizing of analog electrical circuits. The paper focu...
101
click to vote
ICALP
2007
Springer
15 years 10 months ago
2007
Springer
We study the boundedness problem for monadic least fixed points as a decision problem. While this problem is known to be undecidable in general and even for syntactically very res...