Sciweavers

18429 search results - page 275 / 3686
» Typing dynamic typing
Sort
View
ICC
2007
IEEE
136views Communications» more  ICC 2007»
16 years 29 days ago
On the Approximation of the Linear Combination of Log-Normal RVs via Pearson Type IV Distribution: Application to UWB Performanc
— Approximating the sum of Log–Normal random variables (RVs) is a long–standing open issue, in the old and recent literature, and many approaches have been proposed to deal w...
Marco Di Renzo, Fabio Graziosi, Fortunato Santucci
ISMAR
2007
IEEE
16 years 28 days ago
Evaluating Display Types for AR Selection and Annotation
This paper evaluates different display devices for selection or annotation tasks in augmented reality (AR). We compare three different display types – a head mounted display and...
Jason Wither, Stephen DiVerdi, Tobias Höllere...
TACAS
2007
Springer
125views Algorithms» more  TACAS 2007»
16 years 23 days ago
Type-Dependence Analysis and Program Transformation for Symbolic Execution
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
Saswat Anand, Alessandro Orso, Mary Jean Harrold
WEBI
2007
Springer
16 years 23 days ago
K-SVMeans: A Hybrid Clustering Algorithm for Multi-Type Interrelated Datasets
Identification of distinct clusters of documents in text collections has traditionally been addressed by making the assumption that the data instances can only be represented by ...
Levent Bolelli, Seyda Ertekin, Ding Zhou, C. Lee G...
ICMCS
2006
IEEE
162views Multimedia» more  ICMCS 2006»
16 years 21 days ago
Musical Signal Type Discrimination based on Large Open Feature Sets
Automatic discrimination of musical signal types as speech, singing, music, genres or drumbeats within audio streams is of great importance e.g. for radio broadcast stream segment...
Björn Schuller, Frank Wallhoff, Dejan Arsic, ...