3119 search results - page 327 / 624 » General Default Logic |
174
click to vote
PKDD
2004
Springer
16 years 1 days ago
2004
Springer
One of the most important operations involving Data Mining patterns is computing their similarity. In this paper we present a general framework for comparing both simple and comple...
160
click to vote
SAT
2004
Springer
16 years 1 days ago
2004
Springer
The finite model generation problem in the first-order logic is a generalization of the propositional satisfiability (SAT) problem. An essential algorithm for solving the proble...
179
click to vote
FOSSACS
2003
Springer
15 years 12 months ago
2003
Springer
We develop a system of type assignment with intersection types, union types, indexed types, and universal and existential dependent types that is sound in a call-by-value functiona...
189
click to vote
COLCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
Risk-based access control raises some novel problems that have not yet been investigated. In particular, the ability to aggregate uncertain risk estimations from different experts...
177
click to vote
VL
1999
IEEE
15 years 11 months ago
1999
IEEE
Geared to complement UML and to the specification of large software systems by non-mathematicians, spider diagrams are a visual language that generalizes the popular and intuitive...