1162 search results - page 163 / 233 » Monotonic Semantic Interpretation |
140
click to vote
BIODATAMINING
2008
15 years 21 days ago
2008
Background: Analysis of a microarray experiment often results in a list of hundreds of diseaseassociated genes. In order to suggest common biological processes and functions for t...
103
click to vote
SYNTHESE
2008
15 years 14 days ago
2008
Quine (1960, ch.2) claims that there are a variety of equally good schemes for translating or interpreting ordinary talk. `Rabbit' might be taken to divide its reference over...
123
click to vote
ENTCS
2006
15 years 17 days ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
111
Voted
ECCV
2004
Springer
16 years 2 months ago
2004
Springer
Data association (obtaining correspondences) is a ubiquitous problem in computer vision. It appears when matching image features across multiple images, matching image features to ...
204
click to vote
POPL
2007
ACM
16 years 26 days ago
2007
ACM
This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...