Sciweavers

3591 search results - page 139 / 719
» Typing linear constraints
Sort
View
CP
2001
Springer
15 years 2 months ago
A Temporal Concurrent Constraint Programming Calculus
Abstract The tcc model is a formalism for reactive concurrent constraint programming. In this paper we propose a model of temporal concurrent constraint programming which adds to t...
Catuscia Palamidessi, Frank D. Valencia
CSL
2008
Springer
14 years 12 months ago
Quantified Positive Temporal Constraints
Abstract. A positive temporal template (or a positive temporal constraint language) is a relational structure whose relations can be defined over countable dense linear order witho...
Witold Charatonik, Michal Wrona
ICASSP
2010
IEEE
14 years 10 months ago
Sparsity maximization under a quadratic constraint with applications in filter design
This paper considers two problems in sparse filter design, the first involving a least-squares constraint on the frequency response, and the second a constraint on signal-to-noi...
Dennis Wei, Alan V. Oppenheim
ECCV
2006
Springer
15 years 12 months ago
High Accuracy Optical Flow Serves 3-D Pose Tracking: Exploiting Contour and Flow Based Constraints
Tracking the 3-D pose of an object needs correspondences between 2-D features in the image and their 3-D counterparts in the object model. A large variety of such features has been...
Thomas Brox, Bodo Rosenhahn, Daniel Cremers, Hans-...
ICASSP
2011
IEEE
14 years 1 months ago
Online detection of vocal Listener Responses with maximum latency constraints
When human listeners utter Listener Responses (e.g. back-channels or acknowledgments) such as ‘yeah’ and ‘mmhmm’, interlocutors commonly continue to speak or resume their ...
Daniel Neiberg, Khiet P. Truong