3575 search results - page 91 / 715 » Modeling Concurrency with Geometry |
122
click to vote
CONCUR
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. A concurrent Kleene algebra offers, next to choice and iteration, operators for sequential and concurrent composition, related by an inequational form of the exchange la...
127
click to vote
APIN
1998
15 years 1 months ago
1998
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...
128
click to vote
PPOPP
2010
ACM
15 years 10 months ago
2010
ACM
As concurrent programming becomes prevalent, software providers are investing in concurrency libraries to improve programmer productivity. Concurrency libraries improve productivi...
119
click to vote
CVPR
2005
IEEE
16 years 3 months ago
2005
IEEE
We introduce a new rational function (RF) model for radial lens distortion in wide-angle and catadioptric lenses, which allows the simultaneous linear estimation of motion and len...
100
click to vote
ICIP
2000
IEEE
16 years 3 months ago
2000
IEEE
The paper presents a novel coding technique based on approximate geometry for images taken from arbitrary recording positions around a 3-D scene. Such data structures occur in ima...