2354 search results - page 219 / 471 » A Common-Sense Theory of Time |
143
click to vote
GECCO
2005
Springer
16 years 4 days ago
2005
Springer
We present a theoretical analysis of Watson’s Hierarchicalif-and-only-if (HIFF) problem using a variety of tools. These include schema theory and course graining, the concept of...
189
click to vote
LPNMR
2005
Springer
16 years 3 days ago
2005
Springer
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...
193
click to vote
MFCS
2005
Springer
16 years 3 days ago
2005
Springer
This paper investigates the word problem for inverse monoids generated by a set Γ subject to relations of the form e = f, where e and f are both idempotents in the free inverse m...
164
click to vote
MIRRORBOT
2005
Springer
16 years 3 days ago
2005
Springer
This paper presents a human-like control of an innovative biped robot. The robot presents a total of twelve degrees of freedom; each joint resemble the functionalities of the human...
148
click to vote
RTA
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. As a window into the subject, we recount some of the history (and geography) of two mature, challenging, partially open, partially closed problems in the theory of rewrit...