1133 search results - page 63 / 227 » Local Logics for Traces |
CORR
2002
Springer
15 years 17 days ago
2002
Springer
SPKI/SDSI is a proposed public key infrastructure standard that incorporates the SDSI public key infrastructure. SDSI's key innovation was the use of local names. We previous...
132
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
Markov Logic Networks (MLNs) have emerged as a powerful framework that combines statistical and logical reasoning; they have been applied to many data intensive problems including...
112
Voted
LICS
1999
IEEE
15 years 5 months ago
1999
IEEE
Pitts and Stark have proposed the -calculus as a language for investigating the interaction of unique name generation and higher-order functions. They developed a sound model base...
76
Voted
MLQ
2008
15 years 21 days ago
2008
An account of lower and upper integration is given. It is constructive in the sense of geometric logic. If the integrand takes its values in the nonnegative lower reals, then its ...
122
click to vote
ICDAR
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper, a new document image binarization technique is presented, as an improved version of the state-of-the-art adaptive logical level technique (ALLT). The original ALLT ...