Sciweavers

3207 search results - page 46 / 642
» A Semantics for HTN Methods
Sort
View
ASSETS
2005
ACM
13 years 12 months ago
Semantic knowledge in word completion
We propose an integrated approach to interactive word-completion for users with linguistic disabilities in which semantic knowledge combines with n-gram probabilities to predict s...
Jianhua Li, Graeme Hirst
CAISE
2004
Springer
14 years 3 months ago
A knowledge-based approach to ontology learning and semantic annotation
The so-called Semantic Web vision will certainly benefit from automatic semantic annotation of words in documents. We present a method, called structural semantic interconnections ...
Roberto Navigli, Paola Velardi
ICWE
2004
Springer
14 years 3 months ago
Annotation for the Semantic Web During Website Development
While introducing the HTML standard to present information on the World Wide Web, the importance of being able to express the deep structure and meaning of the information was negl...
Peter Plessers, Olga De Troyer
TLDI
2009
ACM
169views Formal Methods» more  TLDI 2009»
14 years 6 months ago
Relational parametricity for references and recursive types
We present a possible world semantics for a call-by-value higherorder programming language with impredicative polymorphism, general references, and recursive types. The model is o...
Lars Birkedal, Kristian Støvring, Jacob Tha...
SKG
2006
IEEE
14 years 3 months ago
Semantic-driven Management and Search for Resources in Research Community
In recent years, semantic search has become one hot motivation of the semantic web. In this paper, we propose a semantic-based resource management and search architecture and its ...
Junsheng Zhang, Zhixian Yan