Sciweavers

3009 search results - page 346 / 602
» The Expressive Rate of Constraints
Sort
View
CP
2006
Springer
15 years 10 months ago
Mini-bucket Elimination with Bucket Propagation
Many important combinatorial optimization problems can be expressed as constraint satisfaction problems with soft constraints. When problems are too difficult to be solved exactly,...
Emma Rollon, Javier Larrosa
ECMDAFA
2008
Springer
110views Hardware» more  ECMDAFA 2008»
15 years 8 months ago
Testing Metamodels
Abstract. In this paper, we deal with errors in metamodels. Metamodels define the abstract syntax of modeling languages. They play a central role in the Model-Driven Architecture. ...
Daniel A. Sadilek, Stephan Weißleder
FLAIRS
2001
15 years 8 months ago
Detection of Inconsistencies in Complex Product Configuration Data Using Extended Propositional SAT-Checking
We present our consistency support tool BIS, an extension to the electronic product data management system (EPDMS) used at DaimlerChrysler AG to configure the Mercedes lines of pa...
Carsten Sinz, Andreas Kaiser, Wolfgang Küchli...
VMV
2001
178views Visualization» more  VMV 2001»
15 years 8 months ago
Consistent Visual Information Processing Applied to Object Recognition Landmark Definition and Real-Time Tracking
The handling of situations where multiple visual information occurs requires the fusion of visual information. This is a very common task found in the processing of multisource / ...
Axel Pinz
ACL
1998
15 years 8 months ago
A Descriptive Characterization of Tree-Adjoining Languages (Project Note)
Since the early Sixties and Seventies it has been known that the regular and context-free languages arc characterized by definability in the monadic second-order theory of certain...
James Rogers