7225 search results - page 398 / 1445 » On the Computational Power of Biochemistry |
185
click to vote
CSR
2008
Springer
15 years 8 months ago
2008
Springer
We discuss interesting properties of a general technique for inferring polynomial invariants for a subfamily of imperative loops, called the P-solvable loops, with assignments only...
150
click to vote
WOA
2000
15 years 8 months ago
2000
Networking has turned computers from isolated data processors into powerful communication and elaboration devices, called global computers; an illustrative example is the World
228
click to vote
KSEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this paper, we compare merging operators in possibilistic logic. We first propose an approach to evaluating the discriminating power of a merging operator. After that...
163
click to vote
ICPP
1996
IEEE
15 years 11 months ago
1996
IEEE
Abstract - Three dimensional computed tomography is a computationally intensive procedure, requiring large amounts of R A M and processing power. Parallel methods for two dimension...
237
click to vote
ISPAN
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper presents a novel application of the GPU processing power to a very computationally demanding articulated human body tracking problem in a view-based approach. This wo...