4205 search results - page 247 / 841 » Typed Mobile Objects |
155
click to vote
ECOOP
2008
Springer
15 years 7 months ago
2008
Springer
Verification of object-oriented programs relies on object invariants which express consistency criteria of objects. The semantics of object invariants is subtle, mainly because of...
144
click to vote
AAAI
1996
15 years 7 months ago
1996
Any model of the world a robot constructs on the basis of its sensor data is necessarily both incomplete, due to the robot's limited window on the world, and uncertain, due t...
161
click to vote
ESOP
2009
Springer
15 years 9 months ago
2009
Springer
Ownership types characterize the topology of objects in the heap, through a characterization of the context to which an object belongs. They have been used to support reasoning, me...
169
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
We combine local texture features (PCA-SIFT), global features (shape context), and spatial features within a single multi-layer AdaBoost model of object class recognition. The fir...
192
click to vote
DAWAK
2001
Springer
15 years 10 months ago
2001
Springer
A fundamental task in multi-agent systems is matchmaking, which is to retrieve and classify service descriptions of agents that (best) match a given service request. Several approa...