3575 search results - page 163 / 715 » Modeling Concurrency with Geometry |
151
Voted
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
154
click to vote
ICTCS
2003
Springer
15 years 9 months ago
2003
Springer
The algebraic models of computation for contextual nets that have been proposed in the literature either rely on a non-free monoid of objects, or introduce too many fictitious beh...
119
click to vote
PPL
2008
15 years 4 months ago
2008
This discussion paper explores the problems of operating systems support when implementing concurrency controls at the level of the instruction set in processors designed for mult...
145
Voted
AAAI
2000
15 years 6 months ago
2000
The Facial Action Coding System (FACS) is an objective method for quantifying facial movement in terms of 44 component actions, i.e. Action Units (AUs). This system is widely used...
141
Voted
ICIP
2000
IEEE
16 years 6 months ago
2000
IEEE
An algorithm is described for reconstructing images from colour sensor samples, which need not be aligned nor conform to a rectangular sampling geometry. The algorithm has applica...