7988 search results - page 311 / 1598 » A Useful Undecidable Theory |
166
click to vote
MM
2004
ACM
15 years 11 months ago
2004
ACM
This paper describes a narrative-centered approach to learning using location-aware mobile devices, with theories of learning as the basis for a system that utilizes techniques fr...
146
click to vote
ER
2004
Springer
15 years 11 months ago
2004
Springer
Social and intentional behaviours appear as two main components of the agent paradigm. Methods of conventional software engineering do not seem to be appropriate to gain a full kno...
136
click to vote
FMCO
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
133
click to vote
ISMVL
1999
IEEE
15 years 9 months ago
1999
IEEE
In this paper, the theory of information relationships and relationship measures is considered and its application to logic design is discussed. This theory makes operational the ...
133
click to vote
ICRA
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper is devoted to the problem of nonlinear robust control design for Underwater Vehicle/Manipulator (UVM) systems composed of a freefloating platform equipped with a robot ...