3575 search results - page 461 / 715 » Modeling Concurrency with Geometry |
159
click to vote
CORR
2009
Springer
15 years 4 months ago
2009
Springer
Transactional events (TE) are an extension of Concurrent ML (CML), a programming model for synchronous message-passing. Prior work has focused on TE's formal semantics and it...
198
click to vote
ESIAT
2009
IEEE
15 years 4 months ago
2009
IEEE
Geospatial information services composition is a promising approach to construct complex Web GIS applications. BPEL, which is the language and the industry standard that expresses ...
182
click to vote
CCR
2010
15 years 4 months ago
2010
This paper presents iNFAnt, a parallel engine for regular expression pattern matching. In contrast with traditional approaches, iNFAnt adopts non-deterministic automata, allowing ...
209
click to vote
AIME
2011
Springer
14 years 6 months ago
2011
Springer
This paper describes a novel methodological approach to identifying inconsistencies when concurrently using multiple clinical practice guidelines. We discuss how to construct a for...
159
click to vote
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
Local bundle adjustment (LBA) has recently been introduced
to estimate the geometry of image sequences taken by
a calibrated camera. Its advantage over standard (global)
bundle ...