4949 search results - page 408 / 990 » Consistency and Set Intersection |
189
click to vote
IROS
2009
IEEE
16 years 2 months ago
2009
IEEE
— This paper is the continuation of our previous work in intercontinental, collaborative teleoperation with a humanoid robot. Our new achievement consists in an extension of the ...
202
click to vote
ATAL
2009
Springer
16 years 2 months ago
2009
Springer
We present a programming language for implementing multiagent systems consisting of a set of individual agents that interact with a computational organization specified in terms ...
202
click to vote
CAI
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. GP (for Graph Programs) is a rule-based, nondeterministic programming language for solving graph problems at a high level of abstraction, freeing programmers from handlin...
184
click to vote
DBPL
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We propose a framework in which query sizes can be estimated from arbitrary statistical assertions on the data. In its most general form, a statistical assertion states t...
222
click to vote
FROCOS
2009
Springer
16 years 2 months ago
2009
Springer
Deduction modulo consists in applying the inference rules of a deductive system modulo a rewrite system over terms and formulæ. This is equivalent to proving within a so-called co...