Sciweavers

6562 search results - page 989 / 1313
» Noetherianity and Combination Problems
Sort
View
IROS
2006
IEEE
155views Robotics» more  IROS 2006»
16 years 26 days ago
Multiple Hypothesis Tracking of Clusters of People
— Mobile robots operating in populated environments typically can improve their service and navigation behavior when they know where people are in their vicinity and in which dir...
Manuel Mucientes, Wolfram Burgard
IROS
2006
IEEE
168views Robotics» more  IROS 2006»
16 years 26 days ago
Scanning the Environment with Two Independent Cameras - Biologically Motivated Approach
— In this paper we present a novel method for visual scanning and target tracking by means of independent pan-tilt cameras which mimic the chameleon visual system. We present a s...
Ofir Avni, Francesco Borrelli, Gadi Katzir, Ehud R...
ISCC
2006
IEEE
134views Communications» more  ISCC 2006»
16 years 26 days ago
A Proposed Framework for Calibration of Available Bandwidth Estimation Tools
Examining the validity or accuracy of proposed available bandwidth estimation tools remains a challenging problem. A common approach consists of evaluating a newly developed tool ...
Joel Sommers, Paul Barford, Walter Willinger
181
Voted
IWNAS
2006
IEEE
16 years 26 days ago
Towards a More Accurate Availability Evaluation
Data availability evaluation is the crucial problem to build large-scale, high available peer-to-peer storage systems by governing many unreliable hosts. However, many recent stud...
Zhi Yang, Jing Tian, Yafei Dai
SEFM
2006
IEEE
16 years 25 days ago
A Theory of Singly-Linked Lists and its Extensible Decision Procedure
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
Silvio Ranise, Calogero G. Zarba