Sciweavers

98 search results - page 9 / 20
» Team Description Eigen
Sort
View
ESE
2000
73views Database» more  ESE 2000»
13 years 7 months ago
Replicating the CREWS Use Case Authoring Guidelines Experiment
Use cases have become an important tool in software engineering. There has been much focus on the diagram notation but relatively little on use-case descriptions. As part of a welc...
Karl Cox, Keith Phalp
ICIP
2003
IEEE
14 years 9 months ago
Fast probabilistic snake algorithm
Few people use the probability theory in order to achieve image segmentation with snake models. In this article1 , we are presenting an active contour algorithm based on a probabi...
Jerome Gilles, Bertrand Collin
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