Sciweavers

3009 search results - page 70 / 602
» The Expressive Rate of Constraints
Sort
View
ESOP
2003
Springer
14 years 3 months ago
Using Controller-Synthesis Techniques to Build Property-Enforcing Layers
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
Karine Altisen, Aurélie Clodic, Florence Ma...
LICS
2007
IEEE
14 years 4 months ago
Symmetric Datalog and Constraint Satisfaction Problems in Logspace
We introduce symmetric Datalog, a syntactic restriction of linear Datalog and show that its expressive power is exactly that of restricted symmetric monotone Krom SNP. The deep re...
László Egri, Benoit Larose, Pascal T...
OWLED
2008
13 years 11 months ago
Opening, Closing Worlds - On Integrity Constraints
In many data-centric applications it is desirable to use OWL as an expressive schema language where one expresses constraints that need to be satisfied by the (instance) data. Howe...
Evren Sirin, Michael Smith, Evan Wallace
ICIAR
2004
Springer
14 years 3 months ago
A Coarse-to-Fine Classification Scheme for Facial Expression Recognition
Abstract. In this paper, a coarse-to-fine classification scheme is used to recognize facial expressions (angry, disgust, fear, happiness, neutral, sadness and surprise) of novel ex...
Xiaoyi Feng, Abdenour Hadid, Matti Pietikäine...
CIVR
2009
Springer
315views Image Analysis» more  CIVR 2009»
14 years 9 months ago
Exploiting Facial Expressions for Affective Video Summarisation
This paper presents an approach to affective video summarization based on the facial expressions (FX) of viewers. A facial expression recognition system was deployed to capture a v...
Hideo Joho, Joemon M. Jose, Roberto Valenti, Nicu ...