462 search results - page 59 / 93 » Function Types in Complete Type Inference |
FLAIRS
2006
13 years 9 months ago
2006
Extensible Dependency Grammar (XDG) is new, modular grammar formalism for natural language. An XDG analysis is a multi-dimensional dependency graph, where each dimension represent...
CEC
2010
IEEE
13 years 8 months ago
2010
IEEE
Rather than attempting to evolve a complete program from scratch we demonstrate genetic interface programming (GIP) by automatically generating a parallel CUDA kernel with identica...
CONCUR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We consider the problem of defining the information leakage in interactive systems where secrets and observables can alternate during the computation. We show that the in...
AUTOMATICA
2007
13 years 7 months ago
2007
This paper proposes a dynamic output feedback variable structure controller for linear MIMO systems with mismatched and matched normbounded uncertainties and matched nonlinear dis...
CSJM
2008
13 years 7 months ago
2008
A hybrid network of evolutionary processors (an HNEP) is a graph where each node is associated with an evolutionary processor (a special rewriting system), a set of words, an inpu...