2944 search results - page 396 / 589 » On Well Quasi-orders on Languages |
164
click to vote
WCE
2007
15 years 7 months ago
2007
— The paper deals with the design and realization of a secure multicarrier modem on FPGA. The crypto-modem principle is adopted. An encryption block is integrated in the modem tr...
172
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present a reconstruction of session types in a conventional pi calculus where types are qualified as linear or unrestricted. Linearly typed communication channels are ...
186
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
This paper introduces a procedure based on genetic programming to evolve XSLT programs (usually called stylesheets or logicsheets). XSLT is a general purpose, document-oriented fu...
188
click to vote
ICML
2010
IEEE
15 years 7 months ago
2010
IEEE
This paper studies the problem of learning from ambiguous supervision, focusing on the task of learning semantic correspondences. A learning problem is said to be ambiguously supe...
155
click to vote
COGSCI
2010
15 years 6 months ago
2010
We examine the verification of simple quantifiers in natural language from a computational model perspective. We refer to previous neuropsychological investigations of the same pr...