2302 search results - page 135 / 461 » Testing as Abstraction |
185
click to vote
ICGI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Kanazawa has shown that several non-trivial classes of categorial grammars are learnable in Gold’s model. We propose in this article to adapt this kind of symbolic lear...
180
click to vote
ICOIN
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we present the set of base algorithms for generating connected random graphs (RG). RG can be used for testing different algorithms on networks. The fast al...
163
click to vote
MHCI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We provide a dynamic systems interpretation of the coupling of internal states involved in speed-dependent automatic zooming, and test our implementation on a text browse...
178
click to vote
PPSN
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The paper describes an evolutionary algorithm for the general nonlinear programming problem using a surrogate model. Surrogate models are used in optimization when model ...
203
click to vote
ROBOCUP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. An object recognition process in general is designed as a domain specific, highly specialized task. As the complexity of such a process tends to be rather inestimable, m...