Sciweavers

5105 search results - page 431 / 1021
» Approximate Structural Consistency
Sort
View
CPAIOR
2008
Springer
15 years 8 months ago
Using Local Search to Speed Up Filtering Algorithms for Some NP-Hard Constraints
Abstract. This paper proposes to use local search inside filtering algorithms of combinatorial structures for which achieving a desired level of consistency is too computationally ...
Philippe Galinier, Alain Hertz, Sandrine Paroz, Gi...
FMOODS
2008
15 years 8 months ago
Modeling and Model Checking Software Product Lines
Abstract. Software product line engineering combines the individual developments of systems to the development of a family of systems consisting of common and variable assets. In t...
Alexander Gruler, Martin Leucker, Kathrin D. Schei...
LREC
2008
151views Education» more  LREC 2008»
15 years 8 months ago
Production in a Multimodal Corpus: how Speakers Communicate Complex Actions
We describe a new multimodal corpus currently under development. The corpus consists of videos of task-oriented dialogues that are annotated for speaker's verbal requests and...
Carlos Gómez Gallo, T. Florian Jaeger, Jame...
ACL
2004
15 years 8 months ago
Statistical Machine Translation by Parsing
In an ordinary syntactic parser, the input is a string, and the grammar ranges over strings. This paper explores generalizations of ordinary parsing algorithms that allow the inpu...
I. Dan Melamed
IASTEDSE
2004
15 years 8 months ago
Conflict checking of separation of duty constraints in RBAC - implementation experiences
Separation of duty constraints define mutual exclusion relations between two entities (e.g. two permissions). Thus, a software component that supports the definition of separation...
Mark Strembeck