Sciweavers

937 search results - page 105 / 188
» On the Complexity of Partial Order Properties
Sort
View
ICIW
2008
IEEE
16 years 18 days ago
DBOWL: Towards a Scalable and Persistent OWL Reasoner
—With the increasing development of real applications using Semantic Web Technologies, it is necessary to provide scalable and efficient ontology querying and reasoning systems....
María del Mar Roldán García, ...
AAAI
1992
15 years 7 months ago
The Expected Value of Hierarchical Problem-Solving
est case using an abstraction hierarchy in problem-solving can yield an exponential speed-up in search e ciency. Such a speed-up is predicted by various analytical models develope...
Fahiem Bacchus, Qiang Yang
TON
2002
138views more  TON 2002»
15 years 5 months ago
Algebra and algorithms for QoS path computation and hop-by-hop routing in the internet
Prompted by the advent of quality-of-service routing in the Internet, we investigate the properties that path weight functions must have so that hop-by-hop routing is possible and ...
João L. Sobrinho
117
Voted
MA
2010
Springer
140views Communications» more  MA 2010»
15 years 4 months ago
The Dirichlet Markov Ensemble
We equip the polytope of n × n Markov matrices with the normalized trace of the Lebesgue measure of Rn2 . This probability space provides random Markov matrices, with i.i.d. rows...
Djalil Chafaï
160
Voted
CONCUR
1999
Springer
15 years 10 months ago
Robust Satisfaction
In order to check whether an open system satisfies a desired property, we need to check the behavior of the system with respect to an arbitrary environment. In the most general se...
Orna Kupferman, Moshe Y. Vardi