1677 search results - page 109 / 336 » On the Completeness of Quantum Computation Models |
164
click to vote
TARK
2005
Springer
15 years 12 months ago
2005
Springer
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighb...
170
click to vote
NAR
2011
14 years 9 months ago
2011
dictyBase (http://www.dictybase.org), the model organism database for Dictyostelium, aims to provide the broad biomedical research community with well integrated, high quality dat...
182
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
When viewed from a system of multiple cameras with nonoverlapping fields of view, the appearance of an object in one camera view is usually very different from its appearance in a...
157
click to vote
CCGRID
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract--We present a fault tolerant task pool execution environment that is capable of performing fine-grain selective restart using a lightweight, distributed task completion tr...
181
click to vote
WCNC
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—In order to ensure fair access and efficiency of bandwidth usage in wireless integrated networks, resource allocation algorithms should be well designed. In this paper,...