Sciweavers

3991 search results - page 344 / 799
» Bounding homogeneous models
Sort
View
CSCLP
2008
Springer
15 years 8 months ago
From Rules to Constraint Programs with the Rules2CP Modelling Language
In this paper, we present a rule-based modelling language for constraint programming, called Rules2CP. Unlike other modelling languages, Rules2CP adopts a single knowledge represen...
François Fages, Julien Martin
CATS
2008
15 years 8 months ago
Modelling for Lazy Clause Generation
Lazy clause generation is a hybrid SAT and finite domain propagation solver that tries to combine the advantages of both: succinct modelling using finite domains and powerful nogo...
Olga Ohrimenko, Peter J. Stuckey
ECIS
2004
15 years 8 months ago
An Epistemological Foundation of Conceptual Modeling
In a business environment, making the right decisions is vital for the success of a company. Making right decisions is inevitably bound to the availability and provision of releva...
Michael Ribbert, Björn Niehaves, Alexander Dr...
MVA
1996
164views Computer Vision» more  MVA 1996»
15 years 8 months ago
3D Data Driven Prediction for Active Contour Models with Application to Car Tracking
In this paper we apply a new data driven 3D prediction step for active contour models to car tracking on highways. The so called 3D bounding volume (BV) is a coarse 3D representat...
Joachim Denzler, Heinrich Niemann
JAL
2008
74views more  JAL 2008»
15 years 6 months ago
Solving satisfiability in the tile assembly model with a constant-size tileset
Biological systems are far more complex and robust than systems we can engineer today. One way to increase the complexity and robustness of our engineered systems is to study how ...
Yuriy Brun