3679 search results - page 227 / 736 » Hybrid Semantic Analysis |
207
click to vote
OWLED
2007
15 years 8 months ago
2007
Fuzzy Description Logics (Fuzzy DLs) and fuzzy OWL have been proposed as languages able to represent and reason about imprecise and vague knowledge. Such extensions have gained con...
138
click to vote
COLING
2000
15 years 8 months ago
2000
Acquiring and updating terminological resources are di cult and tedious tasks, especially when semantic information should be provided. This paper deals with Term Semantic Categor...
153
click to vote
AAAI
1997
15 years 8 months ago
1997
In this paper, we present a novel first order theorem proving strategy - ordered semantic hyper linking. Ordered semantic hyper linking (OSHL) is an instance-based refutational th...
192
click to vote
LISP
2006
15 years 6 months ago
2006
We introduce a concrete semantics for floating-point operations which describes the propagation of roundoff errors throughout a calculation. This semantics is used to assert the co...
172
click to vote
ICFEM
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...