1722 search results - page 327 / 345 » Generating Tests from Counterexamples |
BTW
2007
Springer
14 years 1 months ago
2007
Springer
Abstract: Peer data management systems (PDMS) are a highly dynamic, decentralized infrastructure for large-scale data integration. They consist of a dynamic set of autonomous peers...
CLEF
2007
Springer
14 years 1 months ago
2007
Springer
This paper presents the LIG contribution to the CLEF 2007 medical retrieval task (i.e. ImageCLEFmed). The main idea in this paper is to incorporate medical knowledge in the langua...
OOPSLA
2007
Springer
14 years 1 months ago
2007
Springer
Omniscient debuggers make it possible to navigate backwards in time within a program execution trace, drastically improving the task of debugging complex applications. Still, they...
RSEISP
2007
Springer
14 years 1 months ago
2007
Springer
Most information about the external world comes from our visual brain. However, it is not clear how this information is processed. We will analyze brain responses using machine lea...
IRI
2006
IEEE
14 years 1 months ago
2006
IEEE
—The transformational methodology described in this paper induces new knowledge, which may be open under any deductive process. The method of transposition is used to maintain a ...