10707 search results - page 2058 / 2142 » Designing executable abstractions |
159
click to vote
CP
2007
Springer
16 years 11 days ago
2007
Springer
Abstract There has been considerable interest in the identification of structural properties of combinatorial problems that lead to efficient algorithms for solving them. Some of...
166
click to vote
CP
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. There is no standard modelling language for constraint programming (CP) problems. Most solvers have their own modelling language. This makes it difficult for modellers to...
202
click to vote
CPAIOR
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. In recent work binary decision diagrams (BDDs) were introduced as a technique for postoptimality analysis for integer programming. In this paper we show that much smaller...
163
click to vote
EUROCAST
2007
Springer
16 years 10 days ago
2007
Springer
Abstract a paradigm of modern Machine Learning (ML) which uses rewards and punishments to guide the learning process. One of the central ideas of RL is learning by “direct-online...
190
click to vote
FMICS
2007
Springer
16 years 10 days ago
2007
Springer
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...