6020 search results - page 703 / 1204 » A New Approach to Model Counting |
222
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Multidimensional databases support efficiently on-line analytical processing (OLAP). In this paper, we depict a model dedicated to multidimensional databases. The approach we prese...
185
click to vote
DEDS
2006
15 years 7 months ago
2006
The diagnosis of unobservable faults in large and complex discrete event systems modeled by parallel composition of automata is considered. A modular approach is developed for diag...
197
click to vote
IJFCS
2006
15 years 6 months ago
2006
Music sequences can be treated as texts in order to perform music retrieval tasks on them. However, the text search problems that result from this modeling are unique to music retr...
204
click to vote
COR
2007
15 years 6 months ago
2007
We consider in this paper a new lagrangean relaxation with clusters for the Manufacturer’s Pallet Loading Problem (MPLP). The relaxation is based on the MPLP formulated as a Max...
165
click to vote
JFR
2008
15 years 6 months ago
2008
Tractor-trailer reversing is a classical non-linear control problem in which many of the solutions proposed in the literature perform poorly in the presence of real-world constrai...