10666 search results - page 1387 / 2134 » Quantum programming languages |
179
click to vote
CP
2005
Springer
16 years 29 days ago
2005
Springer
Preferences and uncertainty occur in many real-life problems. The theory of possibility is one way of dealing with uncertainty, which allows for easy integration with fuzzy prefer...
191
click to vote
CP
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. In this paper, we investigate the performance of several existing structural decomposition methods on fully interlocked Crossword Puzzle Problems (CPPs) and draw directio...
170
click to vote
FPL
2005
Springer
16 years 29 days ago
2005
Springer
We present experimental evidence that multiple compute-units, compiled from sequential high-level language input programs, can be merged into a reduced number of configurations f...
190
click to vote
ICALP
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. Turing machines exposed to a small stochastic noise are considered. An exact characterisation of their (≈ Π0 2 ) computational power (as noise level tends to 0) is obt...
188
click to vote
ICALP
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. We present a finite ω-complete axiomatization for the process algebra BCCSP modulo failure semantics, in case of a finite alphabet. This solves an open question by Gro...