10575 search results - page 1728 / 2115 » Programming Languages |
170
click to vote
CP
2003
Springer
16 years 12 hour ago
2003
Springer
In this paper, we propose a new language-independent representation of adhoc constraints, called a box constraint collection. Using constructive disjunction, this representation ac...
147
click to vote
CP
2003
Springer
16 years 12 hour ago
2003
Springer
Combining mutually redundant models with channelling constraints increases constraint propagation. However, the extra computation efforts of the additional variables and constraint...
162
click to vote
CP
2003
Springer
16 years 12 hour ago
2003
Springer
Recently spectacular improvements in the performance of SAT solvers have been achieved through nogood recording (clause learning). In the CSP literature, on the other hand, nogood ...
193
click to vote
ICALP
2003
Springer
15 years 12 months ago
2003
Springer
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...
159
click to vote
ICALP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Consider a set of n > 2 simple autonomous mobile robots (decentralized, asynchronous, no common coordinate system, no identities, no central coordination, no direct co...