1677 search results - page 46 / 336 » On the Completeness of Quantum Computation Models |
117
click to vote
LPAR
2010
Springer
14 years 11 months ago
2010
Springer
We present a sound and complete model of lambda-calculus reductions based on structures inspired by modal logic (closely related to Kripke structures). Accordingly we can construct...
103
click to vote
COMPSAC
2008
IEEE
15 years 8 months ago
2008
IEEE
With developments in Grid computing and Web based data storage the task of orchestrating computations is becoming ever more difficult. Identifying which of the available computati...
113
click to vote
CIBCB
2006
IEEE
15 years 7 months ago
2006
IEEE
Abstract— Quantum mechanics and molecular dynamic simulation provide important insights into structural configurations and molecular interaction data today. To extend this atomi...
135
Voted
ML
2000
ACM
15 years 1 months ago
2000
ACM
A new class of evolutionary computation processes is presented, called Learnable Evolution Model or LEM. In contrast to Darwinian-type evolution that relies on mutation, recombinat...
CLUSTER
2007
IEEE
15 years 7 months ago
2007
IEEE
— Achieving high performance for out-of-core applications typically involves explicit management of the movement of data between the disk and the physical memory. We are developi...