1705 search results - page 122 / 341 » Representing Constraints with Automata |
135
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
We present a novel approach to optimize scope-bounded checking programs using a relational constraint solver. Given a program and its correctness specification, the traditional app...
126
click to vote
DBPL
1999
Springer
15 years 8 months ago
1999
Springer
Linear constraint databases and query languages are appropriate for spatial database applications. Not only the data model is natural to represent a large portion of spatial data s...
151
click to vote
ICIP
2002
IEEE
16 years 6 months ago
2002
IEEE
This paper presents an efficient method to integrate various spatial-temporal constraints to regularize the contour tracking. The global shape of the contour is represented in a p...
111
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
This paper introduces an extension to the hypergraph data model used in the AutoMed data intergration approach that allows constraints common in static data modelling languages to ...
150
click to vote
CP
2000
Springer
15 years 8 months ago
2000
Springer
We address the issue of detecting automatically occurrences of high level patterns in audiovisual documents. These patterns correspond to recurring sequences of shots, which are co...