10666 search results - page 1620 / 2134 » Quantum programming languages |
180
click to vote
SFP
2000
15 years 8 months ago
2000
: We describe an algorithm approximatingthe following question: Given two types t1 and t2, are there instances (t1) and (t2) denoting a common element? By answering this question w...
196
click to vote
BDA
1993
15 years 8 months ago
1993
We show how structured data stored in files can benefit from standard database technology and in particular be queried and updated using database languages. We introduce the notio...
220
click to vote
ACL
1996
15 years 8 months ago
1996
We present a language model consisting of a collection of costed bidirectional finite state automata associated with the head words of phrases. The model is suitable for increment...
186
click to vote
WSC
1996
15 years 8 months ago
1996
Eight successively refined simulation models for the earthmoving operations involved in the construction of a dam provide the foundation for illustrating the ease and effectivenes...
176
click to vote
ACTA
2007
15 years 7 months ago
2007
We provide a novel model to formalize a well-known algorithm, by Chandra and Toueg, that solves Consensus among asynchronous distributed processes in the presence of a particular ...