1011 search results - page 113 / 203 » The three dimensions of proofs |
175
click to vote
ALT
2004
Springer
16 years 3 months ago
2004
Springer
Probabilistic inductive logic programming, sometimes also called statistical relational learning, addresses one of the central questions of artificial intelligence: the integratio...
140
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper presents a distributed control strategy for deploying hovering robots with multiple downward facing cameras to collectively monitor an environment. Information per p...
148
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— Direct physical human-robot interaction has become a central part in the research field of robotics today. To use the advantages of the potential for humans and robots...
149
click to vote
APPROX
2009
Springer
16 years 29 days ago
2009
Springer
Referring to the query complexity of property testing, we prove the existence of a rich hierarchy of corresponding complexity classes. That is, for any relevant function q, we prov...
165
click to vote
SAT
2009
Springer
16 years 27 days ago
2009
Springer
Most current propositional SAT solvers apply resolution at various stages to derive new clauses or simplify existing ones. The former happens during conflict analysis, while the l...