3690 search results - page 473 / 738 » Computation with classical sequents |
192
click to vote
SPIN
2004
Springer
16 years 23 hour ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
187
click to vote
STACS
2004
Springer
16 years 22 hour ago
2004
Springer
Motivated by problems of pattern statistics, we study the limit distribution of the random variable counting the number of occurrences of the symbol a in a word of length n chosen...
194
click to vote
ECCV
2010
Springer
16 years 19 hour ago
2010
Springer
Spoofing with photograph or video is one of the most common manner to circumvent a face recognition system. In this paper, we present a real-time and non-intrusive method to addre...
167
click to vote
ECCV
2010
Springer
16 years 14 hour ago
2010
Springer
Abstract. Naive Bayes Nearest Neighbor (NBNN) is a feature-based image classifier that achieves impressive degree of accuracy [1] by exploiting ‘Image-toClass’ distances and b...
165
click to vote
CHI
2010
ACM
15 years 12 months ago
2010
ACM
A typical consent dialog was shown in 2×2×3 experimental variations to 80,000 users of an online privacy tool. We find that polite requests and button texts pointing to a volun...