Sciweavers

897 search results - page 10 / 180
» promise 2010
Sort
View
FLAIRS
2010
14 years 12 months ago
Learning Collaborative Tasks on Textual User Interfaces
A novel `play-by-play' based procedure learning system has been successfully applied to automate Web tasks. In the transition to a non-Web domain, for a system widely used at...
Nate Blaylock, William de Beaumont, Lucian Galescu...
ICIP
2010
IEEE
14 years 7 months ago
Polyconvexification of the multi-label optical flow problem
In this paper the problem of optical flow and occlusion mask estimation is aborded. To that end, we consider a multi-label representation of the optical flow and we define an ener...
Nicolas Papadakis, Antonio Baeza, Pau Gargallo, Vi...
ICASSP
2010
IEEE
14 years 9 months ago
NMF with time-frequency activations to model non stationary audio events
Real world sounds often exhibit non-stationary spectral characteristics such as those produced by a harpsichord or a guitar. The classical Non-negative Matrix Factorization (NMF) ...
Romain Hennequin, Roland Badeau, Bertrand David
CORR
2010
Springer
146views Education» more  CORR 2010»
14 years 9 months ago
Formal Relationships Between Geometrical and Classical Models for Concurrency
A wide variety of models for concurrent programs has been proposed during the past decades, each one focusing on various aspects of computations: trace equivalence, causality betwe...
Eric Goubault, Samuel Mimram
CORR
2010
Springer
133views Education» more  CORR 2010»
14 years 8 months ago
Reformulation of Global Constraints in Answer Set Programming
We show that global constraints on finite domains like alldifferent can be reformulated into answer set programs on which we achieve arc, bound or range consistency. These reform...
Christian Drescher, Toby Walsh