6740 search results - page 1125 / 1348 » Using Classification as a Programming Language |
176
click to vote
ECBS
2007
IEEE
16 years 20 days ago
2007
IEEE
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....
148
click to vote
FCCM
2007
IEEE
16 years 20 days ago
2007
IEEE
This paper provides an evaluation of SGI® RASC™ RC100 technology from a computational science software developer’s perspective. A brute force implementation of a two-point an...
150
click to vote
CP
2007
Springer
16 years 15 days ago
2007
Springer
We introduce a definition of constraint symmetry for soft CSPs, based on the definition of constraint symmetry for classical CSPs. We show that the constraint symmetry group of a...
161
click to vote
CP
2007
Springer
16 years 15 days ago
2007
Springer
Probabilistic Choice Operators (PCOs) are convenient tools to model uncertainty in CP. They are useful to implement randomized algorithms and stochastic processes in the concurrent...
161
click to vote
CP
2007
Springer
16 years 15 days ago
2007
Springer
Finite domain propagation solvers effectively represent the possible values of variables by a set of choices which can be naturally modelled as Boolean variables. In this paper we...