Sciweavers

2599 search results - page 306 / 520
» An Operational Semantics for Knowledge Bases
Sort
View
COLING
1996
15 years 7 months ago
A Gradual Refinement Model for A Robust Thai Morphological Analyzer
This work attempts to provide a robust Thai morphological analyzer which can automatically assign the correct part-of-speech tag to the correct word with time and space efficiency...
Asanee Kawtrakul, Chalatip Thumkanon, Thitima Jamj...
SWAP
2007
15 years 7 months ago
Reasoning with Instances of Heterogeneous Ontologies
We address the problem of reasoning with instances of heterogeneously formalized ontologies. Given a set of semantic mappings, reconciling conceptual and instance level heterogenei...
Luciano Serafini, Andrei Tamilin
WWW
2009
ACM
16 years 7 months ago
Search result re-ranking based on gap between search queries and social tags
Both search engine click-through log and social annotation have been utilized as user feedback for search result re-ranking. However, to our best knowledge, no previous study has ...
Jun Yan, Ning Liu, Elaine Qing Chang, Lei Ji, Zhen...

Book
695views
17 years 2 months ago
The Scheme Programming Language
"Scheme is a general-purpose computer programming language. It is a high-level language, supporting operations on structured data such as strings, lists, and vectors, as well ...
R. Kent Dybvig
ENTCS
2002
66views more  ENTCS 2002»
15 years 6 months ago
Rule Formats for Timed Processes
Building on previous work [15,8], this paper describes two syntactic ways of defining `well-behaved' operational semantics for timed processes. In both cases, the rules are d...
Marco Kick