2414 search results - page 60 / 483 » Reasoning Support for OWL-E |
LPNMR
2009
Springer
14 years 4 months ago
2009
Springer
Building upon the 2-valued Layered Models semantics for normal programs, we introduce a refinement — the Layer Supported Models semantics — which, besides keeping all of LMs...
NECO
2007
13 years 9 months ago
2007
Most literature on Support Vector Machines (SVMs) concentrate on the dual optimization problem. In this paper, we would like to point out that the primal problem can also be solve...
PODC
1994
ACM
14 years 2 months ago
1994
ACM
The notion of belief has been useful in reasoning about authentication protocols. In this paper, we show how the notion of belief can be applied to reasoning about cache coherence...
GEOS
2009
Springer
13 years 7 months ago
2009
Springer
Abstract. Narrative descriptions about populated places are very common in ethnographies. In old articles and books on the migration history of Taiwan aborigines, for example, narr...
SIGSOFT
2004
ACM
14 years 10 months ago
2004
ACM
Exploring alternative options is at the heart of the requirements and design processes. Different alternatives contribute to different degrees of achievement of non-functional goa...