1175 search results - page 49 / 235 » Abstract computability and algebraic specification |
155
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— We study the problem of registering local relative pose estimates to produce a global consistent trajectory of a moving robot. Traditionally, this problem has been stud...
116
click to vote
DAGSTUHL
2008
15 years 5 months ago
2008
Abstract. We present algorithmic, complexity and implementation results concerning real root isolation of a polynomial of degree d, with integer coefficients of bit size , using S...
135
click to vote
IFM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
120
click to vote
IJCV
2007
15 years 4 months ago
2007
Abstract. We address the problem of finding the correspondences of two point sets in 3D undergoing a rigid transformation. Using these correspondences the motion between the two s...
145
Voted
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
We illustrate two ways to address the specification, modelling and analysis of dynamic software architectures using: i) ordinary typed graph transformation techniques implemented i...