10447 search results - page 405 / 2090 » The Philosophy of Computer Science |
211
click to vote
TLCA
2005
Springer
16 years 1 months ago
2005
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...
163
click to vote
GI
2004
Springer
16 years 1 months ago
2004
Springer
Abstract: The vision process is very complex and requires for its realization in artificial systems a fundamentally new technology for systems generation. This must be based on pr...
183
click to vote
GI
2004
Springer
16 years 1 months ago
2004
Springer
Abstract: The goals of organic computing are difficult to achieve due to the heterogenity of current software components. We believe that in the long term more advanced software a...
187
click to vote
SOFSEM
2001
Springer
16 years 2 days ago
2001
Springer
The class of weak parallel machines is interesting, because it contains some realistic parallel machine models, especially suitable for pipelined computations. We prove that a modi...
163
click to vote
CAD
2006
Springer
15 years 7 months ago
2006
Springer
A novel and efficient quasi-Monte Carlo method for computing the area of a point-sampled surface with associated surface normal for each point is presented. Our method operates di...