2381 search results - page 199 / 477 » On Ordering Descriptions in a Description Logic |
175
click to vote
ICVS
2003
Springer
15 years 12 months ago
2003
Springer
This paper explores high-level scene interpretation with logic-based conceptual models. The main interest is in aggregates which describe interesting co-occurrences of physical obj...
158
click to vote
ICNP
1999
IEEE
15 years 11 months ago
1999
IEEE
A protocol for the reliable multicast of data to mobile hosts is described. A logical ring is maintained between all the base stations that handle the multicast traffic of the sam...
155
click to vote
ACL
1998
15 years 8 months ago
1998
This paper proposes a method for generating a logicalconstraint-based internal representation from a unification grammar formalism with disjunctive information. Unification gramma...
166
click to vote
MLQ
2002
15 years 6 months ago
2002
We generalize the notion of a monadic algebra to that of a pseudomonadic algebra. In the same way as monadic algebras serve as algebraic models of epistemic modal system S5, pseudo...
149
click to vote
LPAR
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. The use of formal methods provides confidence in the correctness of developments. Yet one may argue about the actual level of confidence obtained when the method itself...