13841 search results - page 255 / 2769 » Algorithms and Constraint Programming |
245
click to vote
ECOOP
1999
Springer
15 years 11 months ago
1999
Springer
There is considerable interest in programs that can migrate from one host to another and execute. Mobile programs are appealing because they support efficient utilization of networ...
199
click to vote
TSE
2011
15 years 1 months ago
2011
— We present an integrated method for program proving, testing, and debugging. Using the concept of metamorphic relations, we select necessary properties for target programs. For...
142
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
In this paper we discuss image registration techniques with a focus on volume preserving constraints. These constraints can reduce the non-uniqueness of the registration problem si...
179
click to vote
ICCSA
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. A company needs to implement several make-to-stock policies apart from a regular make-to-order production, so that the capacity of expensive resources can be fully utiliz...
182
click to vote
AI
2003
Springer
15 years 12 months ago
2003
Springer
Many AI tasks can be formalized as constraint satisfaction problems (CSPs), which involve finding values for variables subject to constraints. While solving a CSP is an NP-complet...