1636 search results - page 122 / 328 » Type-Theoretic Functional Semantics |
150
click to vote
SIS
2004
15 years 5 months ago
2004
The shift from paper documents to their respective electronic formats is producing important advantages in the functioning of businesses and Public Administrations. However, this s...
137
click to vote
LFP
1990
15 years 5 months ago
1990
PCF, as considered in this paper, is a lazy typed lambda calculus with functions, pairing, fixed-point operators and arbitrary algebraic data types. The natural equational axioms ...
119
click to vote
SIGIR
2010
ACM
15 years 4 months ago
2010
ACM
We present a novel approach to query reformulation which combines syntactic and semantic information by means of generalized Levenshtein distance algorithms where the substitution...
132
click to vote
ISBI
2006
IEEE
16 years 4 months ago
2006
IEEE
Recent advances in bio-molecular imaging have afforded biologists a more thorough understanding of cellular functions in complex tissue structures. For example, high resolution fl...
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
The media play an important role in the functioning of our society. This role is extensively studied by Communication Scientists, requiring a systematic analysis of media content. ...