1750 search results - page 217 / 350 » Formal multiple-bernoulli models for language modeling |
171
click to vote
COGSCI
2004
15 years 6 months ago
2004
I show how a conversational process that takes simple, intuitively meaningful steps may be understood as a sophisticated computation that derives the richly detailed, complex repr...
169
click to vote
ESEC
1999
Springer
15 years 10 months ago
1999
Springer
The use of smart cards to run software modules on demand has become a major business concern for application issuers. Such downloadable executable content requires to be trusted by...
142
click to vote
EXPERT
2008
15 years 6 months ago
2008
nition of a common model that abstracted the shared knowledge (ontology); a formalism for representing such knowledge (Knowledge Interchange Format, or KIF); and a transport-indepe...
138
click to vote
APLAS
2009
ACM
15 years 11 months ago
2009
ACM
We study the resource calculus – the non-lazy version of Boudol’s λ-calculus with resources. In such a calculus arguments may be finitely available and mixed, giving rise to ...
201
click to vote
AGTIVE
2003
Springer
15 years 11 months ago
2003
Springer
Graph-reduction specifications (GRSs) are a powerful new method for specifying classes of pointer data structures (shapes). They cover important shapes, like various forms of bal...