2573 search results - page 357 / 515 » Combinations of Modal Logics |
161
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
It is well-known that freeness and linearity information positively interact with aliasing information, allowing both the precision and the efficiency of the sharing analysis of l...
164
click to vote
IRFC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Information Retrieval (IR) systems combine a variety of techniques stemming from logical, vector-space and probabilistic models. This variety of combinations has produced...
184
click to vote
JMLR
2010
15 years 1 months ago
2010
There is a growing interest in building probabilistic models with high order potentials (HOPs), or interactions, among discrete variables. Message passing inference in such models...
186
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
The dependency pair framework is a powerful technique for proving termination of rewrite systems. One of the most frequently used methods within the dependency pair framework is t...
167
click to vote
KDD
2002
ACM
16 years 7 months ago
2002
ACM
We present a closed set data mining paradigm which is particularly e ective for uncovering the kind of deterministic, causal dependencies that characterize much of basic science. ...