Sciweavers

1982 search results - page 191 / 397
» Parametricity and dependent types
Sort
View
PR
2006
141views more  PR 2006»
15 years 6 months ago
Relaxational metric adaptation and its application to semi-supervised clustering and content-based image retrieval
The performance of many supervised and unsupervised learning algorithms is very sensitive to the choice of an appropriate distance metric. Previous work in metric learning and ada...
Hong Chang, Dit-Yan Yeung, William K. Cheung
BMCBI
2005
163views more  BMCBI 2005»
15 years 6 months ago
CoaSim: A flexible environment for simulating genetic data under coalescent models
Background: Coalescent simulations are playing a large role in interpreting large scale intraspecific sequence or polymorphism surveys and for planning and evaluating association ...
Thomas Mailund, Mikkel H. Schierup, Christian N. S...
BMCBI
2004
150views more  BMCBI 2004»
15 years 6 months ago
Rank Difference Analysis of Microarrays (RDAM), a novel approach to statistical analysis of microarray expression profiling data
Background: A key step in the analysis of microarray expression profiling data is the identification of genes that display statistically significant changes in expression signals ...
Dietmar E. Martin, Philippe Demougin, Michael N. H...
CAD
2004
Springer
15 years 6 months ago
Graphics-assisted Rolling Ball Method for 5-axis surface machining
In this paper, a graphics hardware-assisted approach to 5-axis surface machining is presented that builds upon a tool positioning strategy named the Rolling Ball Method presented ...
Paul J. Gray, Fathy Ismail, Sanjeev Bedi
CORR
2002
Springer
131views Education» more  CORR 2002»
15 years 6 months ago
Ownership Confinement Ensures Representation Independence for Object-Oriented Programs
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
Anindya Banerjee, David A. Naumann