941 search results - page 81 / 189 » Mathematics on the (Semantic) NET |
109
Voted
PPAM
2007
Springer
15 years 6 months ago
2007
Springer
Nowadays, capturing the knowledge in ontological structures is one of the primary focuses of the semantic web research. To exploit the knowledge from the vast quantity of existing ...
132
click to vote
LICS
2012
IEEE
13 years 3 months ago
2012
IEEE
—We propose a mathematical framework for step indexed realizability semantics of a call-by-value polymorphic lambda calculus with recursion, existential types and recursive types...
96
Voted
AUSDM
2006
Springer
15 years 4 months ago
2006
Springer
Supervised text classification is the task of automatically assigning a category label to a previously unlabeled text document. We start with a collection of pre-labeled examples ...
108
Voted
ACL
2003
15 years 2 months ago
2003
We introduce a probabilistic noisychannel model for question answering and we show how it can be exploited in the context of an end-to-end QA system. Our noisy-channel system outp...
109
click to vote
FASE
2005
Springer
15 years 6 months ago
2005
Springer
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...