Sciweavers

4211 search results - page 375 / 843
» A formal approach to MASQ
Sort
View
AI
2007
Springer
16 years 1 months ago
Rethinking the Semantics of Complex Nominals
Complex Nominals (CNs) have simple syntactic structure that conceals non-trivial semantic characteristics. While speakers of natural languages combine noun(s)/adjective(s) with a h...
Nabil Abdullah, Richard A. Frost
SEMWEB
2007
Springer
16 years 1 months ago
Ontology-Based Interpretation of Keywords for Semantic Search
Current information retrieval (IR) approaches do not formally capture the explicit meaning of a keyword query but provide a comfortable way for the user to specify information need...
Thanh Tran, Philipp Cimiano, Sebastian Rudolph, Ru...
ICDE
2006
IEEE
143views Database» more  ICDE 2006»
16 years 28 days ago
Using Data-Extraction Ontologies to Foster Automating Semantic Annotation
Semantic annotation adds formal metadata to web pages to link web data with ontology concepts. Automated semantic annotation is a primary way of enabling the semantic web. A main ...
Yihong Ding, David W. Embley
KBSE
2003
IEEE
16 years 4 days ago
Automation for Exception Freedom Proofs
Run-time errors are typically seen as unacceptable within safety and security critical software. The SPARK approach to the development of high integrity software addresses the pro...
Bill J. Ellis, Andrew Ireland
SSD
2009
Springer
127views Database» more  SSD 2009»
15 years 11 months ago
Incremental Reverse Nearest Neighbor Ranking in Vector Spaces
In this paper, we formalize the novel concept of incremental reverse nearest neighbor ranking and suggest an original solution for this problem. We propose an efficient approach f...
Tobias Emrich, Hans-Peter Kriegel, Peer Kröge...