1631 search results - page 78 / 327 » Observing Functional Logic Computations |
133
Voted
CCS
2005
ACM
15 years 9 months ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
121
Voted
STACS
2009
Springer
15 years 10 months ago
2009
Springer
ABSTRACT. Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction...
161
Voted
TRS
2008
15 years 3 months ago
2008
A popular view is that the brain works in a similar way to a digital computer or a Universal Turing Machine by processing symbols. Psychophysical experiments and our amazing capabi...
138
Voted
ICCV
2009
IEEE
15 years 1 months ago
2009
IEEE
This paper presents a novel non-rigid object localization and segmentation algorithm using an eigenspace representation. Previous approaches to eigenspace methods for object track...
130
Voted
COMPUTING
2002
15 years 3 months ago
2002
It has been observed by E. Eberlein and U. Keller that the hyperbolic distribution fits logarithmic rates of returns of a stock much better than the normal distribution. We give a...