Sciweavers

1390 search results - page 239 / 278
» Computing the depth of a flat
Sort
View
FSTTCS
2009
Springer
15 years 4 months ago
Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE
ABSTRACT. We consider concurrent systems that can be modelled as 1-safe Petri nets communicating through a fixed set of buffers (modelled as unbounded places). We identify a param...
M. Praveen, Kamal Lodaya
WIKIS
2009
ACM
15 years 4 months ago
Bipartite networks of Wikipedia's articles and authors: a meso-level approach
This exploratory study investigates the bipartite network of articles linked by common editors in Wikipedia, ‘The Free Encyclopedia that Anyone Can Edit’. We use the articles ...
Rut Jesus, Martin Schwartz, Sune Lehmann
INFOCOM
2008
IEEE
15 years 4 months ago
Underwater Localization in Sparse 3D Acoustic Sensor Networks
—We study the localization problem in sparse 3D underwater sensor networks. Considering the fact that depth information is typically available for underwater sensors, we transfor...
Wei Cheng, Amin Y. Teymorian, Liran Ma, Xiuzhen Ch...
IROS
2007
IEEE
119views Robotics» more  IROS 2007»
15 years 4 months ago
Scalable SLAM building conditionally independent local maps
— Local maps algorithms have demonstrated to be well suited for mapping large environments as can reduce the computational cost and improve the consistency of the final estimati...
Pedro Pinies, Juan D. Tardós
IROS
2007
IEEE
179views Robotics» more  IROS 2007»
15 years 4 months ago
Stereo-based 6D object localization for grasping with humanoid robot systems
Abstract— Robust vision-based grasping is still a hard problem for humanoid robot systems. When being restricted to using the camera system built-in into the robot’s head for o...
Pedram Azad, Tamim Asfour, Rüdiger Dillmann