3856 search results - page 444 / 772 » Models for Automated Earthmoving |
185
click to vote
TIME
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a symbolic algorithm for deciding safety (reachability) of timed systems modelled as Timed Automata (TA), under the notion of robustness w.r.t. infinitesimal clock-drif...
183
click to vote
ICANN
2007
Springer
16 years 27 days ago
2007
Springer
This paper proposes a novel approach for directly tuning the gaussian kernel matrix for one class learning. The popular gaussian kernel includes a free parameter, σ, that requires...
173
click to vote
ICCBR
2007
Springer
16 years 26 days ago
2007
Springer
The aim of this paper is to analyze how the generalizations built by a CBR method can be used as local approximations of a concept. From this point of view, these local approximati...
153
click to vote
ICLP
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Theoretical foundations and practical realizations of answer set solving techniques are vital research issues. The challenge lies in combining the elevated modeling capac...
202
click to vote
LICS
2006
IEEE
16 years 22 days ago
2006
IEEE
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...