9444 search results - page 1660 / 1889 » The Language Model LMNtal |
176
click to vote
IEAAIE
2005
Springer
16 years 2 days ago
2005
Springer
In this paper we propose the model of a prototypical NLP architecture of an information access system to support a team of experts in a scientific design task, in a shared and hete...
175
click to vote
IFIP
2005
Springer
16 years 2 days ago
2005
Springer
This paper considers the effect of untyped attackers inside a distributed system where security is enforced by the type system. In previous work we introduced the Key-Based Decentr...
191
click to vote
PERVASIVE
2005
Springer
16 years 2 days ago
2005
Springer
This paper proposes and evaluates interaction techniques for camera-equipped mobile phones. The proposed techniques are based on a visual code system that provides a number of orie...
149
click to vote
TLCA
2005
Springer
16 years 2 days ago
2005
Springer
We use a fully abstract denotational model to show that nested function calls and recursive definitions can be eliminated from SPCF (a typed functional language with simple non-lo...
158
click to vote
SIGCSE
2004
ACM
16 years 9 hour ago
2004
ACM
The nearly three dozen core technologies of computing sit in a simple framework defined by great principles and by computing practices. The great principles are of two kinds, mech...