4814 search results - page 869 / 963 » Combining abstract interpreters |
IWPC
2005
IEEE
14 years 3 months ago
2005
IEEE
Source code can be viewed in many ways, with each view facilitating access to different information contained within the code. In this working session, we will explore the role th...
ICAIL
2005
ACM
14 years 3 months ago
2005
ACM
d on Dung’s [4] abstract argumentation system • arguments: trees of chained defeasible inferences • aim: determine the status of a query given a belief base • incorporation...
AVBPA
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Ensuring the security of medical records is becoming an increasingly important problem as modern technology is integrated into existing medical services. As a consequence...
CLEF
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. This paper describes an investigation of data fusion techniques for spoken document retrieval. The effectiveness of retrievals solely based on the outputs from automatic...
LOPSTR
2005
Springer
14 years 3 months ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...