Sciweavers

2638 search results - page 229 / 528
» A Framework for Automatic Debugging
Sort
View
SSR
2001
134views more  SSR 2001»
15 years 8 months ago
Generation of visitor components that implement program transformations
The visitor pattern is appealing to developers of program-analysis tools because it separates the design of the data structures that represent a program from the design of softwar...
Kurt Stirewalt, Laura K. Dillon
IJCAI
2003
15 years 8 months ago
Modular self-organization for a long-living autonomous agent
The aim of this paper is to provide a sound framework for addressing a difficult problem: the automatic construction of an autonomous agent's modular architecture. We briefly...
Bruno Scherrer
DAGSTUHL
2009
15 years 8 months ago
MUSIC: Middleware Support for Self-Adaptation in Ubiquitous and Service-Oriented Environments
Self-adaptive component-based architectures facilitate the building of systems capable of dynamically adapting to varying execution context. Such a dynamic adaptation is particular...
Romain Rouvoy, Paolo Barone, Yun Ding, Frank Elias...
199
Voted
APIN
2007
172views more  APIN 2007»
15 years 7 months ago
A genetically optimized level set approach to segmentation of thyroid ultrasound images
This paper presents a novel framework for thyroid ultrasound image segmentation that aims to accurately delineate thyroid nodules. This framework, named GA-VBAC incorporates a leve...
Dimitrios K. Iakovidis, Michalis A. Savelonas, Sta...
149
Voted
CORR
2010
Springer
58views Education» more  CORR 2010»
15 years 7 months ago
Verifying Recursive Active Documents with Positive Data Tree Rewriting
This paper considers a tree-rewriting framework for modeling documents evolving through service calls. We focus on the automatic verification of properties of documents that may c...
Blaise Genest, Anca Muscholl, Zhilin Wu