3446 search results - page 611 / 690 » A Reasoning Algorithm for pD* |
ITNG
2007
IEEE
15 years 7 months ago
2007
IEEE
Lots of efforts in the last decades have been done to prove or disprove whether the set of polynomially bounded problems is equal to the set of polynomially verifiable problems. T...
116
click to vote
TPHOL
2007
IEEE
15 years 7 months ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
108
click to vote
AAECC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Edwards curves have attracted great interest for several reasons. When curve parameters are chosen properly, the addition formulas use only 10M + 1S. The formulas are str...
117
click to vote
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
Determining the provenance of data, i.e. the process that led to that data, is vital in many disciplines. For example, in science, the process that produced a given result must be...
127
click to vote
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
A robot’s ability to assist humans in a variety of tasks, e.g. in search and rescue or in a household, heavily depends on the robot’s reliable recognition of the objects in th...