Sciweavers

166
Voted
LICS
1998
IEEE
15 years 7 months ago
Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata
Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of ...
Eugene W. Stark, Scott A. Smolka
140
Voted
ICRA
2000
IEEE
121views Robotics» more  ICRA 2000»
15 years 7 months ago
Using Multiple Gaussian Hypotheses to Represent Probability Distributions for Mobile Robot Localization
A new mobile robot localization technique is presented which uses multiple Gaussian hypotheses to represent the probability distribution of the robots location in the environment....
David J. Austin, Patric Jensfelt
169
Voted
ICPR
2000
IEEE
15 years 7 months ago
Efficient Super-Resolution and Applications to Mosaics
Mosaicingand super resolution are two ways to combine information from multiple frames in video sequences. Mosaicing displays the information of multiple frames in a single panora...
Assaf Zomet, Shmuel Peleg
136
Voted
LICS
1998
IEEE
15 years 7 months ago
A Congruence Theorem for Structured Operational Semantics of Higher-Order Languages
In this paper we describe the promoted tyft tyxt rule format for de ning higher-order languages. The rule format is a generalization of Groote and Vaandrager's tyft tyxt form...
Karen L. Bernstein
ICPR
2000
IEEE
15 years 7 months ago
Recognition of Indoor Images Employing Qualitative Model Fitting and Supporting Relation between Objects
In this paper, we describe a new design of a recognition system for a single image of indoor scene including complex occlusions. In our system, rst, the system estimates 3D struc...
Keiji Yanai, Koichiro Deguchi