741 search results - page 103 / 149 » A Local System for Classical Logic |
116
click to vote
STACS
2007
Springer
15 years 9 months ago
2007
Springer
We consider commutative string rewriting systems (Vector Addition Systems, Petri nets), i.e., string rewriting systems in which all pairs of letters commute. We are interested in r...
127
Voted
POPL
2010
ACM
16 years 24 days ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
146
click to vote
ICMI
2009
Springer
15 years 10 months ago
2009
Springer
We have built a system that engages naive users in an audiovisual interaction with a computer in an unconstrained public space. We combine audio source localization techniques wit...
146
Voted
ICPR
2008
IEEE
16 years 4 months ago
2008
IEEE
Recognizing and localizing objects is a classical problem in computer vision that is an important stage for many automated systems. In order to perform object recognition many res...
150
click to vote
FGR
2011
IEEE
14 years 7 months ago
2011
IEEE
— We propose a method for automatic emotion recognition as part of the FERA 2011 competition [1] . The system extracts pyramid of histogram of gradients (PHOG) and local phase qu...