Sciweavers

2638 search results - page 404 / 528
» Frameworks for Reasoning about Agent Based Systems
Sort
View
AMAST
2000
Springer
15 years 10 months ago
Distance Functions for Defaults in Reactive Systems
Default reasoning has become an important topic in software engineering. In particular, defaults can be used to revise speci cations, to enhance reusability of existing systems, an...
Sofia Guerra
ATAL
2005
Springer
15 years 12 months ago
Coordinating multiple rovers with interdependent science objectives
This paper describes an integrated system for coordinating multiple rover behavior with the overall goal of collecting planetary surface data. The MISUS system combines techniques...
Tara A. Estlin, Daniel M. Gaines, Forest Fisher, R...
KBSE
2005
IEEE
15 years 12 months ago
Visualization-based analysis of quality for large-scale software systems
We propose an approach for complex software analysis based on visualization. Our work is motivated by the fact that in spite of years of research and practice, software developmen...
Guillaume Langelier, Houari A. Sahraoui, Pierre Po...
IROS
2006
IEEE
147views Robotics» more  IROS 2006»
16 years 13 days ago
Opportunistic Use of Vision to Push Back the Path-Planning Horizon
Abstract— Mobile robots need maps or other forms of geometric information about the environment to navigate. The mobility sensors (LADAR, stereo, etc.) on these robotic vehicles ...
Bart C. Nabbe, Derek Hoiem, Alexei A. Efros, Marti...
ECAL
2005
Springer
15 years 12 months ago
On Convergence of Dynamic Cluster Formation in Multi-agent Networks
Efficient hierarchical architectures for reconfigurable and adaptive multi-agent networks require dynamic cluster formation among the set of nodes (agents). In the absence of cen...
Mikhail Prokopenko, Piraveenan Mahendra rajah, Pet...