6187 search results - page 309 / 1238 » Practical Software Measurement |
135
click to vote
ICML
1999
IEEE
16 years 5 months ago
1999
IEEE
Most machine learning algorithms share the following drawback: they only output bare predictions but not the con dence in those predictions. In the 1960s algorithmic information t...
134
click to vote
ICRA
2008
IEEE
15 years 11 months ago
2008
IEEE
— In this paper, a novel approach for parallel kinematic machine control relying on a fast exteroceptive measure is implemented and validated on the Orthoglide robot. This approa...
142
click to vote
ICRA
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract— In this paper we propose an algorithm to determine the location of a vehicle in an environment represented by a stochastic map, given a set of environment measurements ...
145
click to vote
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
Code reviews have proven to be an effective means of improving overall software quality. During the review, there is an exchange of knowledge between the code author and reviewer ...
145
Voted
KBSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Practical software verification is dominated by two major classes of techniques. The first is model checking, which provides total precision, but suffers from the state space ...