1863 search results - page 214 / 373 » Unifying Theories of Objects |
GIS
2006
ACM
14 years 10 months ago
2006
ACM
Moving point object data can be analyzed through the discovery of patterns. We consider the computational efficiency of computing two of the most basic spatio-temporal patterns in...
POPL
2007
ACM
14 years 9 months ago
2007
ACM
Type-preserving compilation can improve software reliability by generating code that can be verified independently of the compiler. Practical type-preserving compilation does not ...
ICRA
2002
IEEE
14 years 2 months ago
2002
IEEE
In the modern world mobile robots are being utilized for many tasks that are either hazardous or unpleasant for human beings. The potential of robots to assume such tasks hinges o...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
— Achieving the Nash equilibria for single objective games is known to be a computationally difficult problem. However there is a special class of equilibria called evolutionary...
OOPSLA
2001
Springer
14 years 1 months ago
2001
Springer
Mixin modules are proposed as an extension of a class-based programming language. Mixin modules combine parallel extension of classes, including extension of the self types for th...