435 search results - page 15 / 87 » Deriving Filtering Algorithms from Constraint Checkers |
131
Voted
TACAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
144
Voted
RSCTC
1993
Springer
15 years 6 months ago
1993
Springer
This paper focuses on the application of rough set constructs to inductive learning from a database. A design guideline is suggested, which provides users the option to choose app...
167
click to vote
AIPR
2001
IEEE
15 years 6 months ago
2001
IEEE
When estimating the dense motion field of a video sequence, if little is known or assumed about the content, a limited constraint approach such as optical flow must be used. Since...
115
Voted
ICCV
2005
IEEE
15 years 8 months ago
2005
IEEE
We propose an algorithm to perform causal inference of the state of a dynamical model when the measurements are corrupted by outliers. While the optimal (maximumlikelihood) soluti...
125
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
Distributed Constraint Optimization (DCOP) is a popular framework for cooperative multi-agent decision making. DCOP is NPhard, so an important line of work focuses on developing f...