2539 search results - page 250 / 508 » Debugging Method Names |
147
click to vote
HPCC
2005
Springer
15 years 8 months ago
2005
Springer
Structured data represented in the form of graphs arises in several fields of the science and the growing amount of available data makes distributed graph mining techniques partic...
127
click to vote
IBPRIA
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents a technique to characterize human actions in visual surveillance scenarios in order to describe, in a qualitative way, basic human movements in general imaging ...
113
click to vote
ISMIS
2005
Springer
15 years 8 months ago
2005
Springer
In this paper we propose an original approach to apply data mining algorithms, namely decision tree-based methods, taking into account not only the size of processed databases but ...
119
click to vote
LPAR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We discuss a collection of mechanized formal proofs of symmetric key block encryption algorithms (AES, MARS, Twofish, RC6, Serpent, IDEA, and TEA), performed in an imple...
160
click to vote
NIME
2005
Springer
15 years 8 months ago
2005
Springer
This paper describes the concept, design, realization and evaluation of a radically augmented musical instrument named the Overtone Violin. The rationale behind the development of...