Sciweavers

2308 search results - page 177 / 462
» Categorial Semantics For LFG
Sort
View
CHI
2005
ACM
16 years 7 months ago
A comparison of LSA, wordNet and PMI-IR for predicting user click behavior
A predictive tool to simulate human visual search behavior would help interface designers inform and validate their design. Such a tool would benefit from a semantic component tha...
Ishwinder Kaur, Anthony J. Hornof
POPL
2004
ACM
16 years 6 months ago
Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums
We present a notion of -long ? -normal term for the typed lambda calculus with sums and prove, using Grothendieck logical relations, that every term is equivalent to one in norm...
Vincent Balat, Roberto Di Cosmo, Marcelo P. Fiore
PODS
2007
ACM
131views Database» more  PODS 2007»
16 years 6 months ago
Provenance semirings
We show that relational algebra calculations for incomplete databases, probabilistic databases, bag semantics and whyprovenance are particular cases of the same general algorithms...
Todd J. Green, Gregory Karvounarakis, Val Tannen
GECCO
2007
Springer
166views Optimization» more  GECCO 2007»
16 years 20 days ago
Scalable estimation-of-distribution program evolution
I present a new estimation-of-distribution approach to program evolution where distributions are not estimated over the entire space of programs. Rather, a novel representationbui...
Moshe Looks
ICANN
2007
Springer
16 years 20 days ago
Towards Understanding of Natural Language: Neurocognitive Inspirations
Neurocognitive processes responsible for representation of meaning and understanding of words are investigated. First a review of current knowledge about word representation, recen...
Wlodzislaw Duch, Pawel Matykiewicz, John Pestian