Sciweavers

951 search results - page 128 / 191
» Using Domain Ontology as Domain Knowledge for Requirements E...
Sort
View
BMCBI
2007
167views more  BMCBI 2007»
15 years 6 months ago
AlzPharm: integration of neurodegeneration data using RDF
Background: Neuroscientists often need to access a wide range of data sets distributed over the Internet. These data sets, however, are typically neither integrated nor interopera...
Hugo Y. K. Lam, Luis N. Marenco, Tim Clark, Yong G...
SSDBM
1999
IEEE
86views Database» more  SSDBM 1999»
15 years 10 months ago
A Query System in a Biological Database
In this paper, we present a query system that has been implemented in a practical biological database - GPCRDB. Distinguishing features of this system include: smart query relaxat...
Dunren Che, Yangjun Chen, Karl Aberer
DSN
2004
IEEE
15 years 9 months ago
Does Your Result Checker Really Check?
A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has pr...
Lan Guo, Supratik Mukhopadhyay, Bojan Cukic
AAAI
2007
15 years 8 months ago
ESP: A Logic of Only-Knowing, Noisy Sensing and Acting
When reasoning about actions and sensors in realistic domains, the ability to cope with uncertainty often plays an essential role. Among the approaches dealing with uncertainty, t...
Alfredo Gabaldon, Gerhard Lakemeyer
ICSR
2009
Springer
16 years 17 days ago
Reuse of Architectural Knowledge in SPL Development
Abstract. Software Product Lines (SPL) promote reuse within an application domain in an organized fashion. Preimplemented software components are arranged according to a product li...
Pedro O. Rossel, Daniel Perovich, M. Cecilia Basta...