2354 search results - page 219 / 471 » A Common-Sense Theory of Time |
168
click to vote
GECCO
2005
Springer
16 years 23 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...
223
click to vote
LPNMR
2005
Springer
16 years 22 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...
213
click to vote
MFCS
2005
Springer
16 years 22 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...
185
click to vote
MIRRORBOT
2005
Springer
16 years 22 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...
163
click to vote
RTA
2005
Springer
16 years 22 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...