Sciweavers

4469 search results - page 210 / 894
» Comparing and Combining Profiles
Sort
View
AAECC
2005
Springer
128views Algorithms» more  AAECC 2005»
15 years 6 months ago
The size-change principle and dependency pairs for termination of term rewriting
Abstract In [24], a new size-change principle was proposed to verify termination of functional programs automatically. We extend this principle in order to prove termination and in...
René Thiemann, Jürgen Giesl
ICC
2007
IEEE
16 years 24 days ago
Level Crossing Rates of MIMO-MRC Ricean Channels and Their Implications on Adaptive Systems
- The second-order statistics of the time varying signal to noise ratio at the output of a multiple-input-multiple-output (MIMO) system with maximal ratio combining (MRC) are analy...
Predrag Ivanis, Dusan Drajic, Branka Vucetic
SEMWEB
2007
Springer
16 years 17 days ago
Approximate Measures of Semantic Dissimilarity under Uncertainty
Abstract. We propose semantic distance measures based on the criterion of approximate discernibility and on evidence combination. In the presence of incomplete knowledge, the dista...
Nicola Fanizzi, Claudia d'Amato, Floriana Esposito
DEXAW
2006
IEEE
130views Database» more  DEXAW 2006»
16 years 16 days ago
Exploiting Geometrical Properties on Protein Similarity Search
This paper discusses about several combinations of protein similarity measurement-methods, with respect to normalization, spatial partitions, geometrical properties, and distance ...
Saiful Akbar, Josef Küng, Roland Wagner
HICSS
2005
IEEE
112views Biometrics» more  HICSS 2005»
16 years 2 days ago
Activity Patterns of Pair Programming
This paper reports results from an exploratory study investigating the activity patterns of pair programming using a student project conducted over a period of nine weeks. We foun...
Lan Cao, Peng Xu