Sciweavers

2032 search results - page 90 / 407
» Encodings of the Sequence Constraint
Sort
View
DAGSTUHL
2003
15 years 7 months ago
Why Timed Sequence Diagrams Require Three-Event Semantics
STAIRS is an approach to the compositional development of sequence diagrams supporting the specification of mandatory as well as potential behavior. In order to express the necess...
Øystein Haugen, Knut Eilif Husa, Ragnhild K...
EOR
2008
140views more  EOR 2008»
15 years 6 months ago
Combining two pheromone structures for solving the car sequencing problem with Ant Colony Optimization
The car sequencing problem involves scheduling cars along an assembly line while satisfying capacity constraints. In this paper, we describe an Ant Colony Optimization (ACO) algor...
Christine Solnon
LICS
2006
IEEE
16 years 10 days ago
On Tractability and Congruence Distributivity
Constraint languages that arise from finite algebras have recently been the object of study, especially in connection with the Dichotomy Conjecture of Feder and Vardi. An importa...
Emil W. Kiss, Matthew Valeriote
ICIP
2000
IEEE
16 years 8 months ago
Incremental Shape Reconstruction Using Stereo Image Sequences
The limitations of estimating structure from either stereo or motion alone can be addressed by the use of stereo image sequences; however, many existing techniques for processing ...
Tai Jing Moyung, Paul W. Fieguth
EDBT
2004
ACM
162views Database» more  EDBT 2004»
16 years 6 months ago
Non-contiguous Sequence Pattern Queries
Abstract. Non-contiguous subsequence pattern queries search for symbol instances in a long sequence that satisfy some soft temporal constraints. In this paper, we propose a methodo...
Nikos Mamoulis, Man Lung Yiu