2302 search results - page 130 / 461 » Testing as Abstraction |
160
click to vote
PKC
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. We introduce a new approach for cryptanalysis of key agreement protocols based on noncommutative groups. Our approach uses functions that estimate the distance of a group...
138
click to vote
SAMT
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. In order to evaluate image annotation and object categorisation algorithms, ground truth in the form of a set of images correctly annotated with text describing each imag...
155
click to vote
WILF
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. We present a machine learning approach for classifying sentences as one-liner jokes or normal sentences. We use no deep analysis of the meaning to try to see if it is hum...
167
click to vote
ICRA
2006
IEEE
16 years 16 days ago
2006
IEEE
Abstract— This paper describes the online generation of trajectories for omnidirectional walking on two legs. The gait can be parameterized using walking direction, walking speed...
159
click to vote
ISCAS
2006
IEEE
16 years 15 days ago
2006
IEEE
Abstract— In this paper, we present an algorithm/architecturelevel design solution for implementing state-parallel adaptive Viterbi decoders that, compared with their Viterbi cou...