Sciweavers

3690 search results - page 256 / 738
» Computation with classical sequents
Sort
View
CGF
2011
15 years 18 hour 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 12 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
119
Voted
JAIR
2011
72views more  JAIR 2011»
14 years 12 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
ICCV
2011
IEEE
14 years 5 months 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...
183
Voted
ACII
2011
Springer
14 years 5 months 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