Sciweavers

667 search results - page 91 / 134
» Using Semantic Roles to Improve Question Answering
Sort
View
CSL
2009
Springer
15 years 4 months ago
Enriching an Effect Calculus with Linear Types
We define an “enriched effect calculus” by extending a type theory for computational effects with primitives from linear logic. The new calculus, which generalises intuitionis...
Jeff Egger, Rasmus Ejlers Møgelberg, Alex S...
SEMWEB
2007
Springer
15 years 3 months ago
Ontology Mapping - a User Survey
Ontology mapping is the key to data interoperability in the semantic web vision. Computing mappings is the first step to applications such as query rewriting, instance sharing, we...
Sean M. Falconer, Natalya Fridman Noy, Margaret-An...
ESWS
2006
Springer
15 years 1 months ago
Automatic Extraction of Hierarchical Relations from Text
Abstract. Automatic extraction of semantic relationships between entity instances in an ontology is useful for attaching richer semantic metadata to documents. In this paper we pro...
Ting Wang, Yaoyong Li, Kalina Bontcheva, Hamish Cu...
JAR
2007
104views more  JAR 2007»
14 years 9 months ago
Student Proof Exercises Using MathsTiles and Isabelle/HOL in an Intelligent Book
The Intelligent Book project aims to improve online education by designing materials that can model the subject matter they teach, in the manner of a Reactive Learning Environment...
William Billingsley, Peter Robinson
IJCAI
2001
14 years 11 months ago
Link Analysis, Eigenvectors and Stability
The HITS and the PageRank algorithms are eigenvector methods for identifying "authoritative" or "influential" articles, given hyperlink or citation information...
Andrew Y. Ng, Alice X. Zheng, Michael I. Jordan