3458 search results - page 299 / 692 » Abstracting Control |
126
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
Executable models are increasingly being employed by development teams to implement robust software systems. Modern executable models offer powerful composition mechanisms that al...
109
click to vote
ECCV
1994
Springer
16 years 6 months ago
1994
Springer
Abstract. In this paper wepresent an algorithm for parameterfree informationpreserving surface restoration. The algorithm is designed for 2.5D and 3D surfaces. The basic idea is to...
114
click to vote
MICCAI
2008
Springer
16 years 5 months ago
2008
Springer
Abstract. This paper reports an experimental evaluation of the following three different MRI-compatible actuators: a Shinsei ultrasonic motor, a Nanomotion ultrasonic motor and a p...
238
click to vote
POPL
2009
ACM
16 years 4 months ago
2009
ACM
We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until the...
125
click to vote
KDD
2005
ACM
16 years 4 months ago
2005
ACM
Abstract. The application of kernel methods to link analysis is explored. We argue that a family of kernels on graphs provides a unified perspective on the three measures proposed ...