Sciweavers

5434 search results - page 590 / 1087
» Semantic information portals
Sort
View
FM
2001
Springer
142views Formal Methods» more  FM 2001»
15 years 11 months ago
Model-Checking over Multi-valued Logics
Classical logic cannot be used to effectively reason about systems with uncertainty (lack of essential information) or inconsistency (contradictory information often occurring when...
Marsha Chechik, Steve M. Easterbrook, Victor Petro...
ECAI
2000
Springer
15 years 11 months ago
Repairing Queries in a Mediator Approach
In this paper, we study unsatisfiable queries posed to a mediator in an information integration system and expressed in the logical formalism of the information integration system...
Alain Bidault, Christine Froidevaux, Brigitte Safa...
194
Voted
DL
1998
Springer
120views Digital Library» more  DL 1998»
15 years 11 months ago
Conjunctive Constraint Mapping for Data Translation
In this paper we present a mechanism for translating information in heterogeneous digital library environments. We model information as a set of conjunctive constraints that are s...
Kevin Chen-Chuan Chang, Hector Garcia-Molina
USS
2008
15 years 9 months ago
Hypervisor Support for Identifying Covertly Executing Binaries
Hypervisors have been proposed as a security tool to defend against malware that subverts the OS kernel. However, hypervisors must deal with the semantic gap between the low-level...
Lionel Litty, H. Andrés Lagar-Cavilla, Davi...
188
Voted
AAAI
2006
15 years 8 months ago
Negation, Contrast and Contradiction in Text Processing
This paper describes a framework for recognizing contradictions between multiple text sources by relying on three forms of linguistic information: (a) negation; (b) antonymy; and ...
Sanda M. Harabagiu, Andrew Hickl, V. Finley Lacatu...