427 search results - page 46 / 86 » Inductive reasoning about effectful data types |
BMCBI
2002
13 years 7 months ago
2002
Background: For effective exposition of biological information, especially with regard to analysis of large-scale data types, researchers need immediate access to multiple categor...
POPL
1989
ACM
13 years 11 months ago
1989
ACM
raction that a programming language provides influences the structure and algorithmic complexity of the resulting programs: just imagine creating an artificial intelligence engine ...
DSN
2003
IEEE
14 years 26 days ago
2003
IEEE
This paper combines an analysis of data on security vulnerabilities (published in Bugtraq database) and a focused source-code examination to develop a finite state machine (FSM) m...
PSSS
2003
13 years 9 months ago
2003
: RDF-based tools promise to provide a base for reasoning about metadata and about situated data—data describing entities situated in time and space—that is superior to alterna...
ICCBR
1997
Springer
13 years 11 months ago
1997
Springer
This paper describes the dual use of a case base for diagnosis and for improving the design of a manufacturing process. In the short term, the case base is used to provide past ex...