1916 search results - page 135 / 384 » Reasoning with class algebra |
100
click to vote
JGAA
2007
15 years 21 days ago
2007
In the last decade several algorithms that generate straight-line drawings of general large graphs have been invented. In this paper we investigate some of these methods that are ...
123
click to vote
TPLP
2002
15 years 13 days ago
2002
We study the properties of input-consuming derivations of moded logic programs. Inputconsuming derivations can be used to model the behavior of logic programs using dynamic schedu...
TCOM
2010
14 years 7 months ago
2010
In this paper, we propose a novel class of unitary space-time constellations based on quaternary quasi-orthogonal sequences (QOSs), minimizing the maximum correlation between the s...
180
click to vote
POPL
2003
ACM
16 years 1 months ago
2003
ACM
Ownership types provide a statically enforceable way of specifying object encapsulation and enable local reasoning about program correctness in object-oriented languages. However,...
116
Voted
ICCS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from si...