4426 search results - page 385 / 886 » Concurrent Constraint Programming |
172
click to vote
ECBS
1999
IEEE
15 years 11 months ago
1999
IEEE
Model-Integrated Computing, specifically Model-Integrated Program Synthesis (MIPS) environments that include visual model building, constraint management, and automatic program sy...
173
click to vote
AMAI
2008
Springer
15 years 6 months ago
2008
Springer
The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework....
188
click to vote
ICES
2003
Springer
15 years 12 months ago
2003
Springer
This paper presents a methodology to design optimized electronic systems from high abstraction level descriptions. The methodology uses Genetic Programming in addition to high-leve...
239
click to vote
ECOWS
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we present an approach to hybrid semantic web service matching based on both logic programming, and syntactic similarity measurement. The implemented matchmaker, ca...
177
click to vote
AIPS
2004
15 years 8 months ago
2004
Approximate linear programming (ALP) offers a promising framework for solving large factored Markov decision processes (MDPs) with both discrete and continuous states. Successful ...