1677 search results - page 78 / 336 » On the Completeness of Quantum Computation Models |
102
click to vote
CGF
2006
15 years 1 months ago
2006
Discrete curvature and shape operators, which capture complete information about directional curvatures at a point, are essential in a variety of applications: simulation of defor...
118
click to vote
GLVLSI
2009
IEEE
15 years 8 months ago
2009
IEEE
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...
135
click to vote
TPDS
2008
15 years 1 months ago
2008
An ad hoc grid is a wireless heterogeneous computing environment without a fixed infrastructure. This study considers wireless devices that have different capabilities, have limite...
152
click to vote
AI
2004
Springer
15 years 1 months ago
2004
Springer
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...
146
click to vote
TKDE
2011
14 years 8 months ago
2011
—This paper proposes a new strategy, the experience transfer, to facilitate the management of large-scale computing systems. It deals with the utilization of management experienc...