435 search results - page 9 / 87 » Deriving Filtering Algorithms from Constraint Checkers |
CDC
2009
IEEE
14 years 2 days ago
2009
IEEE
— This paper is concerned with understanding the connection between the existing Internet congestion control algorithms and the optimal control theory. The available resource all...
TACAS
2004
Springer
14 years 21 days ago
2004
Springer
We present a method of deriving Craig interpolants from proofs in the quantifier-free theory of linear inequality and uninterpreted function symbols, and an interpolating theorem...
DSN
2006
IEEE
14 years 1 months ago
2006
IEEE
Fault-tolerant time-triggered communication relies on the synchronization of local clocks. The startup problem is the problem of reaching a sufficient degree of synchronization a...
IJCV
2000
13 years 7 months ago
2000
Optical flow provides a constraint on the motion of a deformable model. We derive and solve a dynamic system incorporating flow as a hard constraint, producing a model-based least...
HIS
2008
13 years 8 months ago
2008
Online recommenders are usually referred to those used in e-Commerce websites for suggesting a product or service out of many choices. The core technology implemented behind this ...