4107 search results - page 234 / 822 » The Generalized Lambda Test |
151
click to vote
WLP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present an overview on the AT(x) approach which is capable of automatically analyzing programs with respect to given tests and a reference solution. In the context of ...
162
click to vote
WWW
2010
ACM
15 years 12 months ago
2010
ACM
This paper studies the compressibility of RDF data sets. We show that big RDF data sets are highly compressible due to the structure of RDF graphs (power law), organization of URI...
172
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
The problem of testing from an extended finite state machine (EFSM) is complicated by the presence of infeasible paths. This paper considers the problem of expanding an EFSM in o...
162
Voted
MKM
2009
Springer
15 years 11 months ago
2009
Springer
Sketch recognizers are an important part of the design of natural interfaces for many domains. However, current recognition technology is generally quite crude and difficult to w...
217
click to vote
FUZZY
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. A handwritten digit recognition system was used in a demonstration project to visualize artificial neural networks, in particular Kohonen’s self-organizing feature map...