Sciweavers

3690 search results - page 256 / 738
» Computation with classical sequents
Sort
View
206
Voted
CGF
2011
14 years 7 months ago
Motion Blur Rendering: State of the Art
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...
Fernando Navarro, Francisco J. Serón, Diego...
COMMA
2010
14 years 7 months ago
Towards (Probabilistic) Argumentation for Jury-based Dispute Resolution
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...
Phan Minh Dung, Phan Minh Thang
90
Voted
JAIR
2011
72views more  JAIR 2011»
14 years 7 months ago
A Logical Study of Partial Entailment
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...
Y. Zhou, Y. Zhang
125
Voted
ICCV
2011
IEEE
14 years 26 days ago
The NBNN kernel
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...
Tinne Tuytelaars, Mario Fritz, Kate Saenko, Trevor...
122
Voted
ACII
2011
Springer
14 years 25 days ago
Investigating the Prosody and Voice Quality of Social Signals in Scenario Meetings
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...
Marcela Charfuelan, Marc Schröder