Sciweavers

94 search results - page 8 / 19
» The Team Description of the Team OMNI
Sort
View
ROBOCUP
1999
Springer
113views Robotics» more  ROBOCUP 1999»
15 years 1 months 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»
15 years 1 months 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...
67
Voted
AH
2006
Springer
15 years 1 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
92
Voted
IJRR
2006
119views more  IJRR 2006»
14 years 9 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
70
Voted
FEWS
2007
14 years 11 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