3575 search results - page 284 / 715 » Modeling Concurrency with Geometry |
183
click to vote
PAMI
2006
15 years 6 months ago
2006
This paper presents a method for fully automatic and robust estimation of two-view geometry, autocalibration, and 3D metric reconstruction from point correspondences in images take...
251
click to vote
ICDE
1996
IEEE
16 years 8 months ago
1996
IEEE
A multimedia presentation refers to the presentation of multimedia data using output devices such as monitors for text and video, and speakers for audio. Each presentation consist...
179
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
155
click to vote
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
Dependence-aware transactional memory (DATM) is a recently proposed model for increasing concurrency of memory transactions without complicating their interface. DATM manages depe...
153
click to vote
ESOP
2007
Springer
16 years 22 days ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...