4205 search results - page 73 / 841 » Typed Mobile Objects |
131
Voted
RAS
2007
15 years 3 months ago
2007
Robots are rapidly evolving from factory work-horses to robot-companions. The future of robots, as our companions, is highly dependent on their abilities to understand, interpret ...
127
click to vote
ICALP
2003
Springer
15 years 8 months ago
2003
Springer
µKlaim is a process language that permits programming distributed systems made up of several mobile components interacting through multiple distributed tuple spaces. We present th...
122
Voted
FPCA
1989
15 years 7 months ago
1989
Bounded quantification was introduced by Cardelli and Wegner as a means of typing functions that operate uniformly over all subtypes of a given type. They defined a simple “ob...
116
click to vote
JUCS
2008
15 years 3 months ago
2008
: Presentation types are used in the CLIM interface library to tag graphical output with a type and establish an input type context in which the user may use the keyboard to type i...
236
Voted
VLDB
2006
ACM
16 years 3 months ago
2006
ACM
: Moving Objects Databases have become an important research issue in recent years. For and querying moving objects, there exists a comprehensive framework of abstract data types t...