3690 search results - page 256 / 738 » Computation with classical sequents |
280
click to vote
CGF
2011
15 years 7 days ago
2011
Motion blur is a fundamental cue in the perception of objects in motion. This phenomenon manifests as a visible trail along the trajectory of the object and is the result of the c...
177
click to vote
COMMA
2010
15 years 6 days ago
2010
Abstract. We propose an argumentation framework for modelling jury-based dispute resolution where the dispute parties present their arguments before a judge and a jury. While the j...
120
click to vote
JAIR
2011
15 years 5 days ago
2011
We introduce a novel logical notion–partial entailment–to propositional logic. In contrast with classical entailment, that a formula P partially entails another formula Q with...
176
click to vote
ICCV
2011
IEEE
14 years 5 months ago
2011
IEEE
Naive Bayes Nearest Neighbor (NBNN) has recently been proposed as a powerful, non-parametric approach for object classification, that manages to achieve remarkably good results t...
190
click to vote
ACII
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. In this study we propose a methodology to investigate possible prosody and voice quality correlates of social signals, and test-run it on annotated naturalistic recording...