Sciweavers

923 search results - page 74 / 185
» On the Computation of Relational View Complements
Sort
View
ISER
2000
Springer
80views Robotics» more  ISER 2000»
15 years 3 months ago
Robot Navigation for Automatic Model Construction Using Safe Regions
: Automatic model construction is a core problem in mobile robotics. To solve this task efficiently, we need a motion strategy to guide a robot equipped with a range sensor through...
Héctor H. González-Baños, Jea...
IVCNZ
1998
15 years 1 months ago
Height from Gradients in Polar Coordinates
This paper presents a new approach to integrate the gradient field to the relative depth or height map from multiple view directions in polar coordinates. Traditional integration ...
Jin Luo, Karsten Schlüns
COMCOM
1998
78views more  COMCOM 1998»
14 years 11 months ago
The performance of SQL queries to an X.500 directory system
The X.500 standard speci es a distributed directory service designed to store information about people and objects associated with computer networks. Its API is geared toward retr...
David Barrowman, Patrick Martin
WOA
2010
14 years 9 months ago
MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems
Abstract. This is a position paper reporting the motivations, the starting point and the guidelines that characterise the MERCURIO5 project proposal, submitted to MIUR PRIN 20096 ....
Matteo Baldoni, Cristina Baroglio, Federico Bergen...
ICALP
2011
Springer
14 years 3 months ago
Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation
act Interpretation SILVIA CRAFA FRANCESCO RANZATO University of Padova, Italy We show how bisimulation equivalence and simulation preorder on probabilistic LTSs (PLTSs), namely the...
Silvia Crafa, Francesco Ranzato