2414 search results - page 135 / 483 » Reasoning Support for OWL-E |
128
click to vote
ICN
2007
Springer
16 years 3 days ago
2007
Springer
We propose a data structure–dynamic tree bitmap–for the representation of dynamic IP router tables that must support very high lookup and update rates. In fact, the dynamic tr...
143
click to vote
TPHOL
2005
IEEE
15 years 11 months ago
2005
IEEE
The quotient operation is a standard feature of set theory, where a set is partitioned into subsets by an equivalence relation. We reinterpret this idea for higher order logic, whe...
148
click to vote
ECOOP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In aspect-oriented programming, pointcuts are used to describe crossstructure. Pointcuts that abstract over irrelevant implementation details are clearly desired to bette...
136
click to vote
AUSAI
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. The Belief, Desire, Intention (BDI) architecture is increasingly being used in a wide range of complex applications for agents. Many theories and models exist which suppo...
166
click to vote
ARTS
1999
Springer
15 years 10 months ago
1999
Springer
Stochastic process algebras such as PEPA provide ample support for the component-based construction of models. Tools compute the numerical solution of these models; however, the st...