1567 search results - page 7 / 314 » A Mechanized Model of the Theory of Objects |
ICRA
2006
IEEE
15 years 3 months ago
2006
IEEE
— In this paper, we analyze the mechanism of the phenomenon between an endeffector, a micro object and a substrate during a micro manipulation. In a micro range, the attracting f...
ISPDC
2005
IEEE
15 years 3 months ago
2005
IEEE
An important scheduling problem is the one in which there are no dependencies between tasks and the tasks can be of arbitrary size. This is known as the divisible load scheduling ...
DATE
1998
IEEE
15 years 1 months ago
1998
IEEE
When defining an object-oriented extension to VHDL, the necessary message passing is one of the most complex issues and has a large impact on the whole language. This paper identi...
POPL
2012
ACM
13 years 5 months ago
2012
ACM
We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritan...
PAMI
2007
14 years 9 months ago
2007
—We introduce a new general framework for the recognition of complex visual scenes, which is motivated by biology: We describe a hierarchical system that closely follows the orga...