Sciweavers

1403 search results - page 133 / 281
» Quantitative Interprocedural Analysis
Sort
View
VMV
2001
160views Visualization» more  VMV 2001»
13 years 11 months ago
A Multi-Sensor Object Localization System
This paper presents a localization and tracking system integrating multiple sensors. Object localization results from local sensor systems are fused using a decentralized Kalman f...
Sascha Spors, Rudolf Rabenstein, Norbert Strobel
NIPS
2003
13 years 11 months ago
No Unbiased Estimator of the Variance of K-Fold Cross-Validation
Most machine learning researchers perform quantitative experiments to estimate generalization error and compare algorithm performances. In order to draw statistically convincing c...
Yoshua Bengio, Yves Grandvalet
COLING
1996
13 years 11 months ago
Automatic Detection of Omissions in Translations
ADOMIT is an algorithln for Automatic Detection of OMissions in Translations. The algorithm relies solely on geometric analysis of bitext maps and uses no linguistic information. ...
I. Dan Melamed
NIPS
1994
13 years 11 months ago
The Electrotonic Transformation: a Tool for Relating Neuronal Form to Function
The spatial distribution and time course of electrical signals in neurons have important theoretical and practical consequences. Because it is difficult to infer how neuronal form...
Nicholas T. Carnevale, Kenneth Y. Tsai, Brenda J. ...
DAGSTUHL
1992
13 years 11 months ago
A Methodology for Evaluating Software Engineering Methods and Tools
DESMET was a DTI-backed project with the goal of developing and validating a methodology for evaluating software engineering methods and tools. The project identified nine methods...
Barbara Kitchenham