2165 search results - page 189 / 433 » cases 2005 |
142
click to vote
CC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present techniques that enable source-level debugging for multiple languages at the cost of only modest programming effort. The key idea is to avoid letting debugging ...
126
click to vote
CCIA
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we propose the use of case-based reasoning techniques to improve the navigation of an autonomous robot in unknown semistructured environments. At the moment the curre...
125
click to vote
CCIA
2005
Springer
15 years 10 months ago
2005
Springer
The objective of this paper is two-fold. The first is to develop a methodology capable of extracting the Human Values Scale (HVS) from the user, with reference to his/her objective...
133
click to vote
CHARME
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Unbounded model checking of invariant properties is typically solved using symbolic reachability. However, BDD based reachability methods suffer from lack of robustness ...
113
click to vote
CIE
2005
Springer
15 years 10 months ago
2005
Springer
The strong weak truth table reducibility was suggested by Downey, Hirschfeldt, and LaForte as a measure of relative randomness, alternative to the Solovay reducibility. It also occ...