Sciweavers

195 search results - page 26 / 39
» A Case for Automatic Exception Handling
Sort
View
CORR
2010
Springer
58views Education» more  CORR 2010»
13 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
JBI
2008
127views Bioinformatics» more  JBI 2008»
13 years 7 months ago
Infrastructure for dynamic knowledge integration - Automated biomedical ontology extension using textual resources
We present a novel ontology integration technique that explicitly takes the dynamics and data-intensiveness of e-health and biomedicine application domains into account. Changing ...
Vít Novácek, Loredana Laera, Siegfri...
FIW
2009
139views Communications» more  FIW 2009»
13 years 5 months ago
Problem-Solution Feature Interactions as Configuration Knowledge in Distributed Runtime Adaptations
Abstract. Current generative programming approaches use configuration knowledge to automatically manufacture an end product given a particular requirements specification. Such conf...
Frans Sanen, Eddy Truyen, Wouter Joosen
BMCBI
2006
125views more  BMCBI 2006»
13 years 7 months ago
Automated functional classification of experimental and predicted protein structures
Background: Proteins that are similar in sequence or structure may perform different functions in nature. In such cases, function cannot be inferred from sequence or structural si...
Kai Wang, Ram Samudrala
SENSYS
2010
ACM
13 years 5 months ago
Meeting ecologists' requirements with adaptive data acquisition
Ecologists instrument ecosystems to collect time series representing the evolution in time and space of relevant abiotic and biotic factors. Sensor networks promise to improve on ...
Marcus Chang, Philippe Bonnet