1403 search results - page 133 / 281 » Quantitative Interprocedural Analysis |
132
click to vote
VMV
2001
15 years 2 months ago
2001
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...
81
Voted
NIPS
2003
15 years 2 months ago
2003
Most machine learning researchers perform quantitative experiments to estimate generalization error and compare algorithm performances. In order to draw statistically convincing c...
COLING
1996
15 years 2 months ago
1996
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. ...
92
Voted
NIPS
1994
15 years 2 months ago
1994
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...
112
Voted
DAGSTUHL
1992
15 years 1 months ago
1992
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...