1717 search results - page 239 / 344 » A Computable Spectral Theorem |
138
click to vote
SEMWEB
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We show that the Semantic Web needs a formal semantics for the various kinds of links between ontologies and other documents. We provide a model theoretic semantics that ...
118
click to vote
CP
2003
Springer
15 years 10 months ago
2003
Springer
Combining mutually redundant models with channelling constraints increases constraint propagation. However, the extra computation efforts of the additional variables and constraint...
176
click to vote
ASM
2010
ASM
15 years 10 months ago
2010
ASM
Traditionally, simulation is used to perform probabilistic analysis. However, it provides less accurate results and cannot handle large-scale problems due to the enormous CPU time ...
155
click to vote
KR
2010
Springer
15 years 10 months ago
2010
Springer
Abstract argumentation frameworks have received a lot of interest in recent years. Most computational problems in this area are intractable but several tractable fragments have be...
140
click to vote
LPAR
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. The calculus of structures is a framework for specifying logical systems, which is similar to the one-sided sequent calculus but more general. We present a system of infe...