Sciweavers

948 search results - page 82 / 190
» Automatic Construction of Knowledge Base from Biological Pap...
Sort
View
ECAI
2004
Springer
15 years 11 months ago
Models of Behavior Deviations in Model-Based Systems
Tasks like diagnosis, failure-modes-and-effects analysis (FMEA), and therapy proposal involve reasoning about variables and parameters deviating from some reference state. In model...
Peter Struss
FORMATS
2007
Springer
16 years 15 days ago
AMT: A Property-Based Monitoring Tool for Analog Systems
Abstract. In this paper we describe AMT, a tool for monitoring temporal properties of continuous signals. We first introduce STL/PSL, a specification formalism based on the indus...
Dejan Nickovic, Oded Maler
ACL
1994
15 years 7 months ago
An Automatic Treebank Conversion Algorithm for Corpus Sharing
An automatic treebank conversion method is proposed in this paper to convert a treebank into another treebank. A new treebank associated with a different grammar can be generated ...
Jong-Nae Wang, Jing-Shin Chang, Keh-Yih Su
CSMR
2006
IEEE
15 years 8 months ago
Search-Based Software Maintenance
The high cost of software maintenance could potentially be greatly reduced by the automatic refactoring of object-oriented programs to increase their understandability, adaptabili...
Mark Kent O'Keeffe, Mel Ó Cinnéide
ISOLA
2010
Springer
15 years 4 months ago
A Case Study in Model-Based Adaptation of Web Services
Abstract. Developing systems through the composition of reusable software services is not straightforward in most situations since different kinds of mismatch may occur among their...
Javier Cámara, José Antonio Mart&iac...