3583 search results - page 686 / 717 » A Type System for the Relational Calculus of Object Systems |
MOBIQUITOUS
2007
IEEE
14 years 3 months ago
2007
IEEE
—This paper discusses the design and implementation of an ultra low power embedded GPS receiver node for use in remote monitoring situations where battery life is of the utmost i...
VMCAI
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract— Nanomanipulation using Atomic Force Microscope (AFM) has been extensively investigated for many years. However, control of tip position during nanomanipulation is still...
OOPSLA
2004
Springer
14 years 2 months ago
2004
Springer
In the domain of hard real-time systems, which language is better: C++ or the Real-Time Specification for Java (RTSJ)? Although standard Java provides a more productive programmin...
ICIAR
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. The Scale Invariant Feature Transform (SIFT) is an algorithm used to detect and describe scale-, translation- and rotation-invariant local features in images. The origina...