10666 search results - page 1833 / 2134 » Quantum programming languages |
109
Voted
CP
2003
Springer
15 years 10 months ago
2003
Springer
Combining mutually redundant models with channelling constraints increases constraint propagation. However, the extra computation efforts of the additional variables and constraint...
126
click to vote
CP
2003
Springer
15 years 10 months 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 ...
143
click to vote
ECWEB
2003
Springer
15 years 10 months ago
2003
Springer
Transformation of data documents is of special importance to use XML as the universal data interchange format on the Web. Data transformation is used in many tasks that require dat...
146
click to vote
ICALP
2003
Springer
15 years 10 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 ...
133
click to vote
ICALP
2003
Springer
15 years 10 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...