886 search results - page 45 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
ICRA
2010
IEEE
14 years 8 months ago
2010
IEEE
Multi-robot systems researchers have been investigating adaptive coordination methods for improving spatial coordination in teams. Such methods adapt the coordination method to th...
ISVC
2010
Springer
14 years 8 months ago
2010
Springer
Dealing with multi-object tracking in a particle filter raises several issues. A first essential point is to model possible interactions between objects. In this article, we repr...
106
click to vote
FMICS
2009
Springer
15 years 4 months ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
100
click to vote
SAC
2008
ACM
14 years 8 months ago
2008
ACM
One reasonable categorization of coordination models is into data sharing or message passing, based on whether the information necessary to coordination is persistently stored and...
IROS
2006
IEEE
15 years 3 months ago
2006
IEEE
— This paper is related to the vision-based control of parallel robots. Indeed, a method is proposed to estimate the reduced set of kinematic parameters appearing in such a contr...