Sciweavers

1795 search results - page 218 / 359
» Search by strategy
Sort
View
189
Voted
PPDP
1999
Springer
15 years 11 months ago
Constraint Programming in OPL
OPL is a modeling language for mathematical programming and combinatorial optimization problems. It is the rst modeling language to combine high-level algebraic and set notations f...
Pascal Van Hentenryck, Laurent Michel, Laurent Per...
KGC
1993
Springer
15 years 10 months ago
The Mathematics of Set Predicates in Prolog
We provide a logical speci cation of set predicates ndall and bagof of Prolog. The speci cation is given in proof theoretic terms, and pertains to any SLD resolution based language...
Egon Börger, Dean Rosenzweig
CEC
2009
IEEE
15 years 10 months ago
A dynamic artificial immune algorithm applied to challenging benchmarking problems
Abstract-- In many real-world scenarios, in contrast to standard benchmark optimization problems, we may face some uncertainties regarding the objective function. One source of the...
Fabrício Olivetti de França, Fernand...
CGI
2004
IEEE
15 years 10 months ago
An Efficient Central Path Algorithm for Virtual Navigation
We give an efficient, scalable, and simple algorithm for computation of a central path for navigation in closed virtual environments. The algorithm requires less preprocessing and...
Parag Chaudhuri, Rohit Khandekar, Deepak Sethi, Pr...
VLDB
1995
ACM
129views Database» more  VLDB 1995»
15 years 10 months ago
A Cost Model for Clustered Object-Oriented Databases
Query processing is one of the most, critical issues in Object-Oriented DBMSs. Extensible opt,imizers with efficient, search strategies require a cost model to select the most eff...
Georges Gardarin, Jean-Robert Gruser, Zhao-Hui Tan...