2302 search results - page 135 / 461 » Testing as Abstraction |
203
Voted
ICGI
2004
Springer
16 years 10 days 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...
191
click to vote
ICOIN
2004
Springer
16 years 10 days 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...
179
click to vote
MHCI
2004
Springer
16 years 9 days 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...
193
Voted
PPSN
2004
Springer
16 years 9 days 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 ...
209
Voted
ROBOCUP
2004
Springer
16 years 9 days 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...