180
Voted
BCS
15 years 1 months ago
2008 
: The SIFT algorithm (Scale Invariant Feature Transform) proposed by Lowe [1] is an approach for extracting distinctive invariant features from images. It has been successfully app...
126
click to vote
BCS
15 years 1 months ago
2008 
In this work, a new algorithm is proposed for fast estimation of nonparametric multivariate kernel density, based on principal direction divisive partitioning (PDDP) of the data s...
113
click to vote
BCS
15 years 1 months ago
2008
Research in formal description of programming languages over the past four decades has led to some significant achievements. These include formal syntax and semantics for complete...
BCS
15 years 1 months ago
2008 
Using formal verification for designing hardware designs free from logic design bugs has been an active area of research since the last 15 years. Technology has matured and we hav...
BCS
15 years 1 months ago
2008
We argue that the mathematics developed for the semantics of computer languages can be fruitfully applied to problems in human communication and action.
|
Computer Science