95 search results - page 10 / 19 » Basic Category Theory for Models of Syntax |
FGR
2011
IEEE
12 years 11 months ago
2011
IEEE
— Despite major advances within the affective computing research field, modelling, analysing, interpreting and responding to naturalistic human affective behaviour still remains...
CIKM
2008
Springer
13 years 9 months ago
2008
Springer
Structured documents contain elements defined by the author(s) and annotations assigned by other people or processes. Structured documents pose challenges for probabilistic retrie...
EMSOFT
2006
Springer
13 years 11 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
PODS
2007
ACM
14 years 7 months ago
2007
ACM
Many applications today need to manage large data sets with uncertainties. In this paper we describe the foundations of managing data where the uncertainties are quantified as pro...
SIGIR
2004
ACM
14 years 25 days ago
2004
ACM
This paper presents a new dependence language modeling approach to information retrieval. The approach extends the basic language modeling approach based on unigram by relaxing th...