1636 search results - page 182 / 328 » Type-Theoretic Functional Semantics |
120
click to vote
TSD
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. A formal prosody description framework is introduced together with its relation to language semantics and NLP. The framework incorporates deep prosodic structures based o...
159
click to vote
AUSAI
2004
Springer
15 years 9 months ago
2004
Springer
The PolicyUpdater1 system is a fully-implemented access control system that provides policy evaluations as well as dynamic policy updates. These functions are achieved by the use o...
153
Voted
MDM
2004
Springer
15 years 9 months ago
2004
Springer
This paper discusses the problem of content adaptation for mobile devices. The adaptation considers the context of the client and also the environment where the client request is ...
142
click to vote
LICS
1999
IEEE
15 years 8 months ago
1999
IEEE
Pitts and Stark have proposed the -calculus as a language for investigating the interaction of unique name generation and higher-order functions. They developed a sound model base...
141
click to vote
ECTEL
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Given the huge amount of static and dynamic content created for eLearning tasks, the major challenge for extending their use is to improve the effectiveness of retrieval ...