13734 search results - page 359 / 2747 » Abstractions of data types |
171
Voted
ICAT
2006
IEEE
16 years 22 days ago
2006
IEEE
Algorithms are proposed to automatically locate the foot anatomical points from scanned 3D point data based on a novel method that uses the pternion point for foot alignment, wher...
163
click to vote
OOPSLA
2004
Springer
16 years 1 days ago
2004
Springer
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correct...
148
click to vote
SSPR
2004
Springer
16 years 1 days ago
2004
Springer
In this paper we present a symbols recognition system for graphic documents, based on a combination of global structural approaches. Our system allows to extract components and the...
177
click to vote
APSEC
2002
IEEE
15 years 11 months ago
2002
IEEE
The conduct of collaborative scientific study mediated by the internet — e-Science — is giving rise to a new type of large distributed software project. This paper reports in...
187
click to vote
IJCAI
2001
15 years 8 months ago
2001
We present a new approach to inferring a probability distribution which is incompletely specified by a number of linear constraints. We argue that the currently most popular appro...