2696 search results - page 312 / 540 » Semantic Abstraction and Anaphora |
148
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
Over the years, the notion of concept relatedness has attracted considerable attention. A variety of approaches, based on ontology structure, information content, association, or ...
167
click to vote
IANDC
2010
15 years 5 months ago
2010
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...
164
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
179
click to vote
SMC
2010
IEEE
15 years 4 months ago
2010
IEEE
—We outline SoftFacts, an ontology mediated top-k information retrieval system over relational databases. An ontology layer is used to define (in terms of a OWL-QL like Semantic...
284
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...