Sciweavers

3406 search results - page 184 / 682
» Computational models of classical conditioning
Sort
View
CONCUR
2004
Springer
15 years 10 months ago
Model Checking Timed Automata with One or Two Clocks
In this paper, we study model checking of timed automata (TAs), and more precisely we aim at finding efficient model checking for subclasses of TAs. For this, we consider model ch...
François Laroussinie, Nicolas Markey, Ph. S...
ACL
2009
15 years 2 months ago
Better Word Alignments with Supervised ITG Models
This work investigates supervised word alignment methods that exploit inversion transduction grammar (ITG) constraints. We consider maximum margin and conditional likelihood objec...
Aria Haghighi, John Blitzer, John DeNero, Dan Klei...
ICCV
2001
IEEE
16 years 7 months ago
Color Eigenflows: Statistical Modeling of Joint Color Changes
We develop a linear model of commonly observed joint color changes in images due to variation in lighting and certain non-geometric camera parameters. This is done by observing ho...
Erik G. Miller, Kinh Tieu
ECCV
2008
Springer
16 years 7 months ago
What Does the Sky Tell Us about the Camera?
As the main observed illuminant outdoors, the sky is a rich source of information about the scene. However, it is yet to be fully explored in computer vision because its appearance...
Jean-François Lalonde, Srinivasa G. Narasim...
151
Voted
JAC
2008
15 years 6 months ago
Quantization of cellular automata
Take a cellular automaton, consider that each configuration is a basis vector in some vector space, and linearize the global evolution function. If lucky, the result could actually...
Pablo Arrighi, Vincent Nesme