2920 search results - page 143 / 584 » Finite information logic |
131
click to vote
AIIA
2005
Springer
15 years 6 months ago
2005
Springer
Machine Learning systems are often distinguished according to the kind of representation they use, which can be either propositional or first-order logic. The framework working wi...
110
click to vote
CCS
2006
ACM
15 years 4 months ago
2006
ACM
Type systems for secure information flow aim to prevent a program from leaking information from variables classified as H to variables classified as L. In this work we extend such...
83
Voted
CAISE
2004
Springer
15 years 6 months ago
2004
Springer
: While some information modeling approaches (e.g. the Relational Model, and Object-Role Modeling) are typically formalized using first-order logic, other approaches to information...
AAAI
2007
15 years 3 months ago
2007
The goal of information extraction is to extract database records from text or semi-structured sources. Traditionally, information extraction proceeds by first segmenting each ca...
98
Voted
SIGMOD
2004
ACM
16 years 29 days ago
2004
ACM
We perform a theoretical study of the following queryview security problem: given a view V to be published, does V logically disclose information about a confidential query S? The...