1677 search results - page 70 / 336 » On the Completeness of Quantum Computation Models |
134
click to vote
ICSOC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. A self-managed system is both self-assembling and selfhealing. Service-oriented Computing (SoC) architectures, such as a Web Services Architecture (WS-A) illustrate a hig...
122
click to vote
ICCHP
1994
Springer
15 years 5 months ago
1994
Springer
This paper describes work in progress on automatic generation of "impact sounds" based on physical modelling. These sounds can be used as non-speech audio presentation of...
104
click to vote
IPPS
2003
IEEE
15 years 6 months ago
2003
IEEE
MCT is a widely used heuristic for scheduling tasks onto grid platforms. However, when dealing with many tasks, MCT tends to dramatically delay already mapped task completion time...
111
click to vote
ICCV
2005
IEEE
16 years 3 months ago
2005
IEEE
This paper presents a new surface content completion framework that can restore both shape and appearance from scanned, incomplete point set inputs. First, the geometric holes can...
103
click to vote
WOLLIC
2009
Springer
15 years 8 months ago
2009
Springer
We give a simple intuitionistic completeness proof of Kripke semantics with constant domain for intuitionistic logic with implication and universal quantification. We use a cut-fr...