Sciweavers

5689 search results - page 983 / 1138
» A Performance Process Maturity Model
Sort
View
IJCAI
2001
15 years 7 months ago
Executing Reactive, Model-based Programs through Graph-based Temporal Planning
In the future, webs of unmanned air and space vehicles will act together to robustly perform elaborate missions in uncertain environments. We coordinate these systems by introduci...
Phil Kim, Brian C. Williams, Mark Abramson
FORTE
1994
15 years 7 months ago
An improvement in formal verification
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
Gerard J. Holzmann, Doron Peled
AIS
2007
Springer
15 years 6 months ago
Wearable music in engaging technologies
We address the relationship between a music performer and her instrument as a possible model for re-thinking wearable technologies. Both musical instruments and textiles invite pa...
Franziska Schroeder, Pedro Rebelo
BMCBI
2008
122views more  BMCBI 2008»
15 years 6 months ago
High-throughput bioinformatics with the Cyrille2 pipeline system
Background: Modern omics research involves the application of high-throughput technologies that generate vast volumes of data. These data need to be pre-processed, analyzed and in...
Mark W. E. J. Fiers, Ate van der Burgt, Erwin Date...
CORR
2010
Springer
117views Education» more  CORR 2010»
15 years 6 months ago
Evolution with Drifting Targets
We consider the question of the stability of evolutionary algorithms to gradual changes, or drift, in the target concept. We define an algorithm to be resistant to drift if, for s...
Varun Kanade, Leslie G. Valiant, Jennifer Wortman ...