624 search results - page 122 / 125 » A Structured Approach for Synthesizing Planners from Specifi... |
KDD
2006
ACM
14 years 9 months ago
2006
ACM
Motivation: In the field of bioinformatics there is an emerging need to integrate all knowledge discovery steps into a standardized modular framework. Indeed, component-based deve...
RECOMB
2004
Springer
14 years 9 months ago
2004
Springer
We present a novel classification-based algorithm called GeneClass for learning to predict gene regulatory response. Our approach is motivated by the hypothesis that in simple orga...
SIGMOD
2003
ACM
14 years 8 months ago
2003
ACM
There is growing interest in algorithms for processing and querying continuous data streams (i.e., data that is seen only once in a fixed order) with limited memory resources. In ...
ICSM
2008
IEEE
14 years 3 months ago
2008
IEEE
Code clones are similar program structures recurring in software systems. Clone detectors produce much information and a challenge is to identify useful clones depending on the go...
AH
2008
Springer
14 years 2 months ago
2008
Springer
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...