1750 search results - page 151 / 350 » Formal multiple-bernoulli models for language modeling |
159
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
This paper proposes an Ontology-based Rights Expression Language, called OREL. Based on OWL Web Ontology Language, OREL allows not only users but also machines to handle digital r...
164
click to vote
FM
2001
Springer
15 years 10 months ago
2001
Springer
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
149
click to vote
ESOP
2005
Springer
15 years 11 months ago
2005
Springer
: Fully abstract trace semantics for a core Java language. Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, ...
197
click to vote
ESOP
2006
Springer
15 years 9 months ago
2006
Springer
This paper describes FrTime, an extension of Scheme designed for writing interactive applications. Inspired by functional reactive programming, the language embeds dynamic dataflow...
171
click to vote
EPEW
2008
Springer
15 years 8 months ago
2008
Springer
The accessible specification of performance queries is a key challenge in performance analysis. To this end, we seek to combine the intuitive aspects of natural language query spec...