1057 search results - page 40 / 212 » Testing from Formal Specifications, a Generic Approach |
EDBT
2004
ACM
14 years 7 months ago
2004
ACM
Molecular-biological annotation data is continuously being collected, curated and made accessible in numerous public data sources. Integration of this data is a major challenge in ...
FLAIRS
2007
13 years 10 months ago
2007
Intelligent systems need to store their experience so that it can be reused. A memory for such systems needs to efficiently organize and search previous experience and to retriev...
TOOLS
2000
IEEE
13 years 12 months ago
2000
IEEE
Software reuse and especially the paradigm of software components are promising approaches to increase the efficiency of software development. One of the basic problems of softwar...
SERP
2003
13 years 9 months ago
2003
In this paper, the specification of Verity, a webbased instructional tool, is presented. Verity is intended to be used as a learning assistant and self-assessment tool, more than ...
FLAIRS
2010
13 years 10 months ago
2010
We propose a generic framework that uses utility in decision making to drive the data mining process. We use concepts from meta-learning and build on earlier work by Elovici and B...