1746 search results - page 126 / 350 » A Constructive Semantics for ALC |
129
click to vote
IJSWIS
2007
15 years 4 months ago
2007
We describe our research on automatically generating rich semantic annotations of text and making it available on the Semantic Web. In particular, we discuss the challenges involv...
202
click to vote
JTAER
2010
14 years 11 months ago
2010
With the emergence of the e-Catalog, there has been an increasingly wide application of commodities query in distributed environment in the field of e-commerce. But e-Catalog is o...
160
click to vote
WWW
2006
ACM
16 years 5 months ago
2006
ACM
It has become a promising direction to measure similarity of Web search queries by mining the increasing amount of clickthrough data logged by Web search engines, which record the...
138
click to vote
KDD
2006
ACM
16 years 4 months ago
2006
ACM
As a fundamental data mining task, frequent pattern mining has widespread applications in many different domains. Research in frequent pattern mining has so far mostly focused on ...
146
click to vote
CHARME
2003
Springer
15 years 9 months ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...