Sciweavers

840 search results - page 12 / 168
» XML: From Practice to Theory
Sort
View
AAAI
1998
13 years 9 months ago
Control Strategies in HTN Planning: Theory Versus Practice
AI planning techniques are beginning to find use in a number of practical planning domains. However, the backward-chaining and partial-order-planning control strategies traditiona...
Dana S. Nau, Stephen J. J. Smith, Kutluhan Erol
TFM
2009
Springer
113views Formal Methods» more  TFM 2009»
14 years 2 months ago
Teaching Concurrency: Theory in Practice
Teaching courses that rely on sound mathematical principles is nowadays a challenging task at many universities. On the one hand there is an increased demand for educating students...
Luca Aceto, Anna Ingólfsdóttir, Kim ...
ICML
2010
IEEE
13 years 8 months ago
Efficient Selection of Multiple Bandit Arms: Theory and Practice
We consider the general, widely applicable problem of selecting from n real-valued random variables a subset of size m of those with the highest means, based on as few samples as ...
Shivaram Kalyanakrishnan, Peter Stone
CADE
2002
Springer
14 years 8 months ago
Reasoning with Expressive Description Logics: Theory and Practice
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
Ian Horrocks
CONCURRENCY
2007
158views more  CONCURRENCY 2007»
13 years 7 months ago
Collective communication: theory, practice, and experience
We discuss the design and high-performance implementation of collective communications operations on distributed-memory computer architectures. Using a combination of known techni...
Ernie Chan, Marcel Heimlich, Avi Purkayastha, Robe...