2279 search results - page 378 / 456 » Robust Circle Detection |
163
click to vote
POPL
2006
ACM
15 years 10 months ago
2006
ACM
In the spirit of Landin, we present a calculus of dependent types to serve as the semantic foundation for a family of languages called data description languages. Such languages, ...
OSDI
2004
ACM
15 years 10 months ago
2004
ACM
A fundamental piece of information required in intelligent storage systems is the liveness of data. We formalize the notion of liveness within storage, and present two classes of ...
106
click to vote
SIGMOD
2004
ACM
15 years 10 months ago
2004
ACM
The detection of correlations between different features in a set of feature vectors is a very important data mining task because correlation indicates a dependency between the fe...
ICIAP
2003
ACM
15 years 10 months ago
2003
ACM
Segmentation of 3D human body is a very challenging problem in applications exploiting human scan data. To tackle this problem, this paper proposes a topological approach based on...
ICSE
2007
IEEE-ACM
15 years 10 months ago
2007
IEEE-ACM
Code clones are generally considered harmful in software development, and the predominant approach is to try to eliminate them through refactoring. However, recent research has pr...