2861 search results - page 383 / 573 » Constraint Programming |
138
Voted
CPAIOR
2008
Springer
15 years 4 months ago
2008
Springer
Theoretical models for the evaluation of quickly improving search strategies, like limited discrepancy search, are based on specific assumptions regarding the probability that a va...
108
click to vote
FM
2009
Springer
15 years 7 months ago
2009
Springer
The problem of enforcing bounded-time 2-phase recovery in real-time programs is often necessitated by conflict between faulttolerance requirements and timing constraints. In this ...
140
Voted
ICSE
2011
IEEE-ACM
14 years 6 months ago
2011
IEEE-ACM
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementatio...
CPAIOR
2004
Springer
15 years 8 months ago
2004
Springer
We discuss a di cult optimization problem on a chess-board, requiring equal numbers of black and white queens to be placed on the board so that the white queens cannot attack the b...
126
click to vote
ECAI
2008
Springer
15 years 4 months ago
2008
Springer
Modern feature-rich telecommunications services offer significant opportunities to human users. To make these services more usable, facilitating personalisation is very important s...