1195 search results - page 78 / 239 » Modeling an Algebraic Stepper |
180
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
Abstract. We present an algebraic solution to both direct and featurebased registration of diffusion tensor images under various local deformation models. In the direct case, we sh...
174
click to vote
IROS
2009
IEEE
16 years 28 days ago
2009
IEEE
— Visual servoing schemes generally employ various image features (points, lines, moments etc.) in their control formulation. This paper presents a novel method for using boundar...
147
click to vote
ISSAC
2005
Springer
15 years 11 months ago
2005
Springer
This paper describes a method to use compiled, strongly typed Aldor domains in the interpreted, expression-oriented Maple environment. This represents a non-traditional approach t...
135
click to vote
APLAS
2004
ACM
15 years 11 months ago
2004
ACM
In many occasions would one encounter the task of maintaining the consistency of two pieces of structured data that are related by some transform — synchronising bookmarks in diï...
177
click to vote
CONCUR
2001
Springer
15 years 10 months ago
2001
Springer
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...