Sciweavers

1160 search results - page 85 / 232
» Revisiting the Sequence Constraint
Sort
View
FAC
2008
178views more  FAC 2008»
15 years 6 months ago
Modeling and validating Mondex scenarios described in UML and OCL with USE
This paper describes the Mondex case study with UML class diagrams and restricting OCL constraints. The constraints have been formulated either as OCL class invariants or as OCL pr...
Mirco Kuhlmann, Martin Gogolla
FGR
2008
IEEE
151views Biometrics» more  FGR 2008»
16 years 24 days ago
Motion image segmentation using global criteria and DP
We propose methods for segmenting a motion sequence into motion primitives, taking into account temporal constraints (continuity along the time axis). In the proposed methods, dyn...
Takumi Kobayashi, Fumito Yoshikawa, Nobuyuki Otsu
FLAIRS
2004
15 years 7 months ago
Intermediate Consistencies by Delaying Expensive Propagators
What makes a good consistency ? Depending on the constraint, it may be a good pruning power or a low computational cost. By "weakening" arc-consistency, we propose to de...
Andrei Legtchenko, Arnaud Lallouet, AbdelAli Ed-Db...
ACL
1998
15 years 7 months ago
Managing Information at Linguistic Interfaces
A large spoken dialogue translation system imposes both engineering and linguistic constraints on the way in which linguistic information is communicated between modules. We descr...
Johan Bos, C. J. Rupp, Bianka Buschbeck-Wolf, Mich...
CP
2006
Springer
15 years 10 months ago
: A Bottom-Up Approach for Solving Quantified CSPs
Abstract. Thanks to its extended expressiveness, the quantified constraint satisfaction problem (QCSP) can be used to model problems that are difficult to express in the standard C...
Guillaume Verger, Christian Bessière