159 search results - page 12 / 32 » Weak Equivalences in Psi-Calculi |
111
Voted
CVPR
2007
IEEE
16 years 2 months ago
2007
IEEE
Most algorithms for reconstructing shape from defocus assume that the images are obtained with a camera that has been previously calibrated so that the aperture, focal plane, and ...
102
click to vote
FORMATS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract In this paper we focus on property-preserving preorders between timed game automata and their application to control of partially observable systems. We define timed weak ...
132
click to vote
CBSE
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...
98
Voted
ENTCS
2007
15 years 20 days ago
2007
In a recent paper, probabilistic processes are used to generate Borel probability measures on topological spaces X that are equipped with a representation in the sense of Type-2 T...
101
Voted
ECCV
2002
Springer
16 years 2 months ago
2002
Springer
Abstract. Two new techniques based on nonparametric estimation of probability densities are introduced which improve on the performance of equivalent robust methods currently emplo...