9626 search results - page 1372 / 1926 » Invariant Based Programming |
169
click to vote
CP
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. In this article we will present some problems that have weak symmetries. In contrast to a proper symmetry, a weak symmetry acts only on a subset of the variables and pres...
179
click to vote
CP
2005
Springer
16 years 19 days ago
2005
Springer
In this paper, we present an algorithm for finding utilitarian optimal solutions to Simple and Disjunctive Temporal Problems with Preferences (STPPs and DTPPs) based on Benders’...
204
click to vote
CPAIOR
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. We present an algorithmic framework for integrating solution methods that is based on search, inference, and relaxation and their interactions. We show that the following...
215
click to vote
DSVIS
2005
Springer
16 years 19 days ago
2005
Springer
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
168
click to vote
ECAL
2005
Springer
16 years 19 days ago
2005
Springer
Plant morphogenesis is the development of plant form and structure by coordinated cell division and growth. We present a dynamic computational model of plant morphogenesis at cellu...