12841 search results - page 342 / 2569 » PL-detective: experiences and results |
178
click to vote
ROBOCUP
2001
Springer
15 years 11 months ago
2001
Springer
In autonomous robotics, so-called artificial potential fields are often used to plan and control the motion of a physical robot. In this paper, we propose to use an artificial e...
185
click to vote
AINA
2004
IEEE
15 years 10 months ago
2004
IEEE
Link analysis has been used to enhance retrieval results of the web search for years. PageRank and HITS are the two well-known algorithms widely used by most researchers. The form...
143
click to vote
ISMDA
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The work presents the results of inconsistency detection experiments on the data records of an atherosclerotic coronary heart disease database collected in the regular me...
170
click to vote
ASPDAC
1995
ACM
15 years 10 months ago
1995
ACM
In this article a scheduling method is presented which is capable of allocating supplementary resources during scheduling. This makes it very suitable in synthesis strategies base...
159
click to vote
DFT
2009
IEEE
15 years 10 months ago
2009
IEEE
We present an error detection technique for a floating point adder which uses a checker adder of reduced precision to determine if the result is correct within some error bound. O...