Sciweavers

94 search results - page 8 / 19
» The Team Description of the Team OMNI
Sort
View
ROBOCUP
1999
Springer
113views Robotics» more  ROBOCUP 1999»
14 years 6 days ago
11Monkeys Description
The major purpose of our research is to study cooperative planning for multi-agent system in time-critical environment. The RoboCup simulator league is the most interesting target ...
Shuhei Kinoshita, Yoshikazu Yamamoto
FM
1999
Springer
161views Formal Methods» more  FM 1999»
14 years 6 days ago
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...
AH
2006
Springer
13 years 11 months ago
Towards Formalising Adaptive Behaviour Within the Scope of E-Learning
As there are a lot of approaches and projects within the area of adaptive e-learning, several theoretical models have been developed in the last 15 years. Against this background, ...
Felix Mödritscher
IJRR
2006
119views more  IJRR 2006»
13 years 8 months ago
Predicting the Performance of Cooperative Simultaneous Localization and Mapping (C-SLAM)
In this paper we study the time evolution of the position estimates' covariance in Cooperative Simultaneous Localization and Mapping (C-SLAM), and obtain analytical upper boun...
Anastasios I. Mourikis, Stergios I. Roumeliotis
FEWS
2007
13 years 9 months ago
Finding Experts by Link Prediction in Co-authorship Networks
Abstract. Research collaborations are always encouraged, as they often yield good results. However, the researcher network contains massive amounts of experts in various discipline...
Milen Pavlov, Ryutaro Ichise