1056 search results - page 140 / 212 » Grid Computing Supporting System on ITBL Project |
148
click to vote
DBISP2P
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. We are witnessing a dramatic increase in the use of datacentric distributed systems such as global grid infrastructures, sensor networks, network monitoring, and various ...
120
click to vote
ISAAC
2003
Springer
15 years 8 months ago
2003
Springer
This paper introduces quantum “multiple-Merlin”-Arthur proof systems in which Arthur receives multiple quantum proofs that are unentangled with each other. Although classical ...
111
Voted
BIRTHDAY
1991
Springer
15 years 6 months ago
1991
Springer
The goal of the MKRP project is the development of a theorem prover which can be used as an inference engine in various applications, in particular it should be capable of proving ...
155
click to vote
TASE
2011
IEEE
14 years 7 months ago
2011
IEEE
Abstract—A fast offset surface generation approach is presented in this paper to construct intersection-free offset surfaces, which preserve sharp features, from freeform triangu...
114
click to vote
FOCS
2007
IEEE
15 years 9 months ago
2007
IEEE
: We study the computational strength of quantum particles (each of finite dimensionality) arranged on a line. First, we prove that it is possible to perform universal adiabatic q...