435 search results - page 5 / 87 » Deriving Filtering Algorithms from Constraint Checkers |
CONSTRAINTS
2010
13 years 4 months ago
2010
The subgraph isomorphism problem consists in deciding if there exists a copy of a pattern graph in a target graph. We introduce in this paper a global constraint and an associated ...
AGTIVE
2003
Springer
14 years 17 days ago
2003
Springer
Abstract. This paper deals with knowledge-based computer aided design. A novel method giving additional support for conceptual design is presented. In this method, a designer firs...
ISCAS
1999
IEEE
13 years 11 months ago
1999
IEEE
In this paper, we present a new method for verifying the realizability of a timing diagram with linear timing constraints, thus ensuring that the implementation of the underlying ...
PVLDB
2008
13 years 6 months ago
2008
There has been considerable interest in similarity join in the research community recently. Similarity join is a fundamental operation in many application areas, such as data inte...
AUTOMATICA
2005
13 years 7 months ago
2005
State estimation problems for linear time-invariant systems with noisy inputs and outputs are considered. An efficient recursive algorithm for the smoothing problem is presented. ...