4205 search results - page 57 / 841 » Typed Mobile Objects |
141
click to vote
IJSR
2010
15 years 12 days ago
2010
— A mobile robot needs to perceive the motions of external objects to perform tasks successfully in a dynamic environment. We propose a set of algorithms for multiple motion trac...
120
click to vote
MST
2007
15 years 1 months ago
2007
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Edalat–Potts in type theory. We choose the constructive type theory extended with coind...
117
click to vote
IJCNLP
2004
Springer
15 years 7 months ago
2004
Springer
This paper describes an intelligent text archive system in which typed feature structures are embedded. The aim of the system is to associate feature structures with regions in tex...
DC
2008
15 years 2 months ago
2008
The power of an object type T can be measured as the maximum number n of processes that can solve consensus using only objects of T and registers. This number, denoted cons(T), is ...
CAISE
2004
Springer
15 years 7 months ago
2004
Springer
: While some information modeling approaches (e.g. the Relational Model, and Object-Role Modeling) are typically formalized using first-order logic, other approaches to information...