10156 search results - page 136 / 2032 » Step by Step to Histories |
162
click to vote
CADE
2010
Springer
15 years 8 months ago
2010
Springer
In this paper we use the decreasing diagrams technique to show that a left-linear term rewrite system R is confluent if all its critical pairs are joinable and the critical pair st...
195
click to vote
CVPR
2010
IEEE
15 years 7 months ago
2010
IEEE
In this paper, we propose a novel algorithm for computing an atlas from a collection of images. In the literature, atlases have almost always been computed as some types of means ...
160
click to vote
IVC
2008
15 years 7 months ago
2008
The preservation of topological properties during digitization is a hard problem in 3 and higher dimensions. Only for the very restricted class of r-regular shapes it is known tha...
150
click to vote
JWE
2006
15 years 7 months ago
2006
gh abstract information is available. In the next step, we identify existing Web Engineering model properties which can be used to improve the checks, and propose further extension...
197
click to vote
CLEIEJ
2002
15 years 6 months ago
2002
This paper presents a Component-based Framework Development Process, of the Cardiology Domain. The Framework, called FrameCardio, was developed in 4 steps: 1Problem Domain Definit...