Sciweavers

565 search results - page 90 / 113
» Compositional dynamic test generation
Sort
View
ATAL
2005
Springer
15 years 7 months ago
Comprehending agent software
Software comprehension (understanding software structure and behavior) is essential for developing, maintaining, and improving software. This is particularly true of agent-based s...
Dung N. Lam, K. Suzanne Barber
78
Voted
GD
2004
Springer
15 years 7 months ago
Clustering Cycles into Cycles of Clusters
In this paper we study simple families of clustered graphs that are highly unconnected. We start by studying 3-cluster cycles, which are clustered graphs such that the underlying ...
Pier Francesco Cortese, Giuseppe Di Battista, Maur...
AIPS
2008
15 years 4 months ago
A Temporal Logic-Based Planning and Execution Monitoring System
As no plan can cover all possible contingencies, the ability to detect failures during plan execution is crucial to the robustness of any autonomous system operating in a dynamic ...
Jonas Kvarnström, Fredrik Heintz, Patrick Doh...
SDM
2010
SIAM
191views Data Mining» more  SDM 2010»
15 years 3 months ago
Active Ordering of Interactive Prediction Tasks
Many applications involve a set of prediction tasks that must be accomplished sequentially through user interaction. If the tasks are interdependent, the order in which they are p...
Abhimanyu Lad, Yiming Yang
95
Voted
TITS
2008
116views more  TITS 2008»
15 years 1 months ago
Genetic Programming for the Automatic Design of Controllers for a Surface Ship
Abstract--In this paper, the implementation of genetic programming (GP) to design a controller structure is assessed. GP is used to evolve control strategies that, given the curren...
Eva Alfaro-Cid, Euan William McGookin, David James...