9832 search results - page 1548 / 1967 » An Object Model for Multiprogramming |
172
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
We propose a novel solution to object detection, localization and pose estimation with applications in robot vision. The proposed method is especially applicable when the objects ...
195
click to vote
JAIR
2010
15 years 5 months ago
2010
Diagrammatic reasoning (DR) is pervasive in human problem solving as a powerful adjunct to symbolic reasoning based on language-like representations. The research reported in this...
217
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
215
click to vote
JODI
2010
15 years 1 months ago
2010
: ICE-TheOREM was a project which made several important contributions to the repository domain, promoting deposit by integrating the repository with authoring workflows and enhanc...
332
click to vote
INFOCOM
2011
IEEE
14 years 10 months ago
2011
IEEE
—Epidemics dynamics can describe the dissemination of information in delay tolerant networks, in peer to peer networks and in content delivery networks. The control of such dynam...