9832 search results - page 354 / 1967 » An Object Model for Multiprogramming |
187
click to vote
FMOODS
2000
15 years 8 months ago
2000
This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems. The logic is ba...
182
click to vote
ECCV
2010
Springer
15 years 8 months ago
2010
Springer
In this paper, we present a method for object of interest detection. This method is statistical in nature and hinges in a model which combines salient features using a mixture of l...
205
click to vote
PRL
2006
15 years 6 months ago
2006
In this paper we present a system for the automatic detection and tracking of metallic objects concealed on moving people in sequences of millimetre-wave images, which can penetra...
177
click to vote
PR
2007
15 years 6 months ago
2007
The volume, location of the centroid, and second order moments of a threedimensional star-shaped object are determined in terms of the spherical harmonic coefficients of its bound...
155
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
—Space exploitation will require efficient techniques for manipulating passive objects on orbit. This work presents a manipulation concept that utilizes both the on-off thruste...