873 search results - page 42 / 175 » step 2005 |
CHARME
2005
Springer
15 years 5 months ago
2005
Springer
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...
107
click to vote
DAGM
2005
Springer
15 years 5 months ago
2005
Springer
A histogram-based method for the interpretation of three-dimensional (3D) point clouds is introduced, where point clouds represent the surface of a scene of multiple objects and ba...
EPIA
2005
Springer
15 years 5 months ago
2005
Springer
This paper presents an adaptation of the peepholing method to regression trees. Peepholing was described as a means to overcome the major computational bottleneck of growing classi...
117
click to vote
ESA
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Traditional shortest path problems play a central role in both the design and use of communication networks and have been studied extensively. In this work, we consider a...
110
click to vote
ESORICS
2005
Springer
15 years 5 months ago
2005
Springer
The freedom and transparency of information flow on the Internet has heightened concerns of privacy. Given a set of data items, clustering algorithms group similar items together...