1917 search results - page 63 / 384 » The York Abstract Machine |
143
Voted
ENTCS
2006
15 years 3 months ago
2006
In this paper, we study several linear-time equivalences (Markovian trace equivalence, failure and ready trace equivalence) for continuous-time Markov chains that refer to the pro...
107
click to vote
FUIN
2002
15 years 3 months ago
2002
Abstract. The aim of this paper is to show how the P systems with replicated rewriting can be modeled by X-machines (also called Eilenberg machines). In the first approach, the par...
121
click to vote
TNN
2010
14 years 10 months ago
2010
Abstract--In this paper we investigate the sparsity and recognition capabilities of two approximate Bayesian classification algorithms, the multi-class multi-kernel Relevance Vecto...
165
Voted
MICCAI
2007
Springer
16 years 4 months ago
2007
Springer
Abstract. We introduce a non-linear shape prior for the deformable model framework that we learn from a set of shape samples using recent manifold learning techniques. We model a c...
145
Voted
MICCAI
2002
Springer
16 years 4 months ago
2002
Springer
Abstract. An endoscopic solo surgery simulator was designed to quantitatively evaluate human-machine interface in robotic camera positioning systems. Our simulator can assess not o...