Sciweavers

1351 search results - page 94 / 271
» A Possible Approach to the Development of Robotic Multi-Agen...
Sort
View
ISER
2004
Springer
117views Robotics» more  ISER 2004»
15 years 11 months ago
Synthesis and Analysis of Non-Reactive Controllers for Multi-Robot Sequential Task Domains
In this paper we present a macroscopic model for the analysis of homogeneous task-directed multi-robot systems (MRS). The model is used to compute the probability that a given MRS ...
Chris Jones, Maja J. Mataric
ICRA
2000
IEEE
90views Robotics» more  ICRA 2000»
15 years 10 months ago
Effective Vehicle Teleoperation on the World Wide Web
Our goal is to make vehicle teleoperation accessible to all users. To do this, we are developing easy-to-use yet capable Web tools which enable efficient, robust teleoperation in...
Sébastien Grange, Terrence Fong, Charles Ba...
JSW
2008
202views more  JSW 2008»
15 years 6 months ago
Change Prediction in Object-Oriented Software Systems: A Probabilistic Approach
An estimation of change-proneness of parts of a software system is an active topic in the area of software engineering. Such estimates can be used to predict changes to different c...
Ali R. Sharafat, Ladan Tahvildari
FMOODS
2007
15 years 7 months ago
KeY: A Formal Method for Object-Oriented Systems
Abstract. This paper gives an overview of the KeY approach and highlights the main features of the KeY system. KeY is an approach (and a system) for the deductive verification of ...
Wolfgang Ahrendt, Bernhard Beckert, Reiner Hä...
ICCV
2003
IEEE
16 years 7 months ago
Statistical Background Subtraction for a Mobile Observer
Statistical background modelling and subtraction has proved to be a popular and effective class of algorithms for segmenting independently moving foreground objects out from a sta...
Eric Hayman, Jan-Olof Eklundh