Sciweavers

2911 search results - page 19 / 583
» A Theory of Expressiveness in Mechanisms
Sort
View
AAAI
2000
14 years 11 months ago
Describing Rigid Body Motions in a Qualitative Theory of Spatial Regions
We explore the expressive power of a recently developed qualitative region-based geometry and apply it to the problem of representing and reasoning about the motion of rigid bodie...
Brandon Bennett, Anthony G. Cohn, Paolo Torrini, S...
IWAI
1999
Springer
15 years 2 months ago
Emotion and Facial Expression
This article describes the role and functions of facial expressions in human-human and human-computer interactions from a psychological point of view. We introduce our theoretical...
Thomas Wehrle, Susanne Kaiser
CP
2008
Springer
14 years 11 months ago
Classes of Submodular Constraints Expressible by Graph Cuts
Submodular constraints play an important role both in theory and practice of valued constraint satisfaction problems (VCSPs). It has previously been shown, using results from the ...
Stanislav Zivný, Peter Jeavons
LICS
2010
IEEE
14 years 7 months ago
On the Strictness of the First-Order Quantifier Structure Hierarchy over Finite Structures
One of the major interests of finite model theory is to separate the expressive power of different logics or fragments of logics. In this paper, we define a variant of EhrenfeuchtF...
Yuguo He
JMLR
2010
163views more  JMLR 2010»
14 years 4 months ago
Dense Message Passing for Sparse Principal Component Analysis
We describe a novel inference algorithm for sparse Bayesian PCA with a zero-norm prior on the model parameters. Bayesian inference is very challenging in probabilistic models of t...
Kevin Sharp, Magnus Rattray