Sciweavers

743 search results - page 18 / 149
» Constraint Programming Architectures: Review and a New Propo...
Sort
View
LOPSTR
2007
Springer
14 years 1 months ago
Aggregates for CHR through Program Transformation
We propose an extension of Constraint Handling Rules (CHR) with aggregates such as sum, count, findall, and min. This new feature significantly improves the conciseness and expres...
Peter Van Weert, Jon Sneyers, Bart Demoen
COMAD
2008
13 years 9 months ago
Modeling Uncertain and Imprecise Information in Process Modeling with UML
In designing and developing large complex products, people use models to describe and organize interrelated elements in both product systems (architecture, use cases, constraints....
Xiao Jing, Pierre Pinel, Lei Pi, Vincent Aranega, ...
BIRTHDAY
2010
Springer
13 years 8 months ago
Thirteen Definitions of a Stable Model
Stable models of logic programs have been studied by many researchers, mainly because of their role in the foundations of answer set programming. This is a review of some of the de...
Vladimir Lifschitz
EC
1998
134views ECommerce» more  EC 1998»
13 years 7 months ago
Schema Theory for Genetic Programming with One-Point Crossover and Point Mutation
In this paper we first review the main results obtained in the theory of schemata in Genetic Programming (GP) emphasising their strengths and weaknesses. Then we propose a new, s...
Riccardo Poli, William B. Langdon
UAI
2008
13 years 9 months ago
Partitioned Linear Programming Approximations for MDPs
Approximate linear programming (ALP) is an efficient approach to solving large factored Markov decision processes (MDPs). The main idea of the method is to approximate the optimal...
Branislav Kveton, Milos Hauskrecht