313 search results - page 25 / 63 » Preprocessors from an Abstract Point of View |
108
Voted
TROB
2002
15 years 3 days ago
2002
Abstract-- This paper presents a framework for visual servoing that guarantees convergence to a visible goal from almost every initially visible configuration while maintaining ful...
130
Voted
MICCAI
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. The simulation of ultrasound wave propagation is of high interest in fields as ultrasound system development and therapeutic ultrasound. From a computational point of vi...
103
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. We show how to extract existential witnesses from classical proofs using Krivine’s classical realizability—where classical proofs are interpreted as λ-terms with the...
140
click to vote
GLOBE
2011
Springer
14 years 4 days ago
2011
Springer
Abstract. Distributed or peer-to-peer storage solutions rely on the introduction of redundant data to be fault-tolerant and to achieve high reliability. One way to introduce redund...
97
Voted
SLE
2009
Springer
15 years 7 months ago
2009
Springer
Model Driven Engineering (MDE) is a promising paradigm for development. It raises the level of abstraction in software development by treating models as primary artifacts. The prac...