1636 search results - page 103 / 328 » Type-Theoretic Functional Semantics |
134
Voted
BDA
2007
15 years 5 months ago
2007
We present Pattern-by-Example (PBE), a graphical language that allows users with little or no knowledge of pattern-matching and functional programming to define complex and optim...
91
Voted
LREC
2010
15 years 5 months ago
2010
This paper describes an ISO project developing an international standard for annotating dialogue with semantic information, in particular concerning the communicative functions of...
115
Voted
WSPI
2008
15 years 5 months ago
2008
The paper presents a paradoxical feature of computational systems that suggests that computationalism cannot explain symbol grounding. If the mind is a digital computer, as computa...
143
Voted
APAL
2008
15 years 3 months ago
2008
We solve a longstanding problem by providing a denotational model for nondeterministic programs that identifies two programs iff they have the same range of possible behaviours. W...
111
click to vote
EG
2006
15 years 3 months ago
2006
: E-government systems are subject to a continual change. The importance of better change management is nowadays, more important due to the evolution of Europe towards a multicultu...