Sciweavers

1525 search results - page 1 / 305
» Matching with Regular Constraints
Sort
View
LPAR
2005
Springer
13 years 11 months ago
Matching with Regular Constraints
We describe a sound, terminating, and complete matching algorithm for terms built over flexible arity function symbols and context, function, sequence, and individual variables. C...
Temur Kutsia, Mircea Marin
ICTAC
2009
Springer
14 years 4 hour ago
Regular Expressions with Numerical Constraints and Automata with Counters
Abstract. Regular expressions with numerical constraints are an extension of regular expressions, allowing to bound numerically the number of times that a subexpression should be m...
Dag Hovland
ICIP
2001
IEEE
14 years 7 months ago
Application of the motion vector constraint to the regularized enhancement of compressed video
In this paper, we present a novel fidelity constraint for the image enhancement problem by exploiting the motion vectors of a compressed video bit-stream. These vectors establish ...
C. Andrew Segall, Aggelos K. Katsaggelos
ISPD
1999
ACM
83views Hardware» more  ISPD 1999»
13 years 9 months ago
Efficient solution of systems of orientation constraints
One subtask in constraint-driven placement is enforcing a set of orientation constraints on the devices being placed. Such constraints are created in order to, for example, implem...
Joseph L. Ganley