11909 search results - page 2026 / 2382 » The Scheme Programming Language |
190
click to vote
CAV
2003
Springer
15 years 12 months ago
2003
Springer
We show that the model checking problem for µ-calculus on graphs of bounded tree-width can be solved in time linear in the size of the system. The result is presented by first sh...
160
click to vote
CP
2003
Springer
15 years 12 months ago
2003
Springer
A reason to distribute constraint satisfaction is privacy: agents may not want to share their values, and they may wish to keep constraints as private as possible. In this paper, w...
144
click to vote
CP
2003
Springer
15 years 12 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...
158
click to vote
CP
2003
Springer
15 years 12 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 ...
181
click to vote
ECWEB
2003
Springer
15 years 12 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...