Sciweavers

2607 search results - page 308 / 522
» On the Architecture of System Verification Environments
Sort
View
ICRA
2009
IEEE
166views Robotics» more  ICRA 2009»
16 years 1 months ago
Laser-based geometric modeling using cooperative multiple mobile robots
— In order to construct three-dimensional shape models of large-scale architectural structures using a laser range finder, a number of range images are taken from various viewpo...
Ryo Kurazume, Yusuke Noda, Yukihiro Tobata, Kai Li...
194
Voted
CSMR
2004
IEEE
15 years 10 months ago
The Weighted Combined Algorithm: A Linkage Algorithm for Software Clustering
Software systems need to evolve as business requirements, technology and environment change. As software is modified to accommodate the required changes, its structure deteriorate...
Onaiza Maqbool, Haroon A. Babri
185
Voted
MA
2000
Springer
99views Communications» more  MA 2000»
15 years 10 months ago
Multiple Agent-Based Autonomy for Satellite Constellations
Multiple, highly autonomous, satellite systems are envisioned in the near future because they are capable of higher performance, lower cost, better fault tolerance, reconfigurabil...
Thomas P. Schetter, Mark E. Campbell, Derek M. Sur...
HT
2009
ACM
15 years 10 months ago
Dynamic hypertext generation for reusing open corpus content
Adaptive hypermedia systems traditionally focus on providing personalised learning services for formal or informal learners. The learning material is typically sourced from a prop...
Ben Steichen, Séamus Lawless, Alexander O'C...
CCIA
2010
Springer
15 years 1 months ago
Comparison of Topologies in Peer-to-Peer Data Sharing Networks
Interactions within Multi-agent systems can be structured in different ways depending on the application scenario and its environmental restrictions. In previous work we have devel...
Jordi Campos Miralles, Nuria Piqué, Maite L...