911 search results - page 35 / 183 » First Steps with a Rideable Computer |
CSR
2006
Springer
13 years 11 months ago
2006
Springer
We present a method to convert the construction of binary decision diagrams (BDDs) into extended resolution proofs. Besides in proof checking, proofs are fundamental to many applic...
ECCV
2006
Springer
13 years 11 months ago
2006
Springer
Here we present a new image registration algorithm for the alignment of histological sections that combines the ideas of B-spline based elastic registration and consistent image re...
EUROPAR
2006
Springer
13 years 11 months ago
2006
Springer
In this paper, a practical approach of diffusion load balancing algorithms and its implementation are studied. Three problems are investigated. The first one is the determination ...
AINA
2008
IEEE
13 years 9 months ago
2008
IEEE
The evolution of any software product over its lifetime is unavoidable, caused both by bugs to be fixed and by new requirements appearing in the later stages of the product's...
DIS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. This paper proposes initial steps towards a generic framework for modeling the scientific process. It is generic according to two main axes. First, it can be instantiated...