Sciweavers

AAAI
2007
15 years 8 months ago
Planning as Satisfiability with Preferences
Enrico Giunchiglia, Marco Maratea
AAAI
2008
15 years 8 months ago
Optimal Metric Planning with State Sets in Automata Representation
This paper proposes an optimal approach to infinite-state action planning exploiting automata theory. State sets and actions are characterized by Presburger formulas and represent...
Björn Ulrich Borowsky, Stefan Edelkamp
188
Voted
AAAI
2007
15 years 8 months ago
A Deployed Semantically-Enabled Interdisciplinary Virtual Observatory
We have used semantic technologies to design, implement, and deploy an interdisciplinary virtual observatory. The Virtual Solar-Terrestrial Observatory is a production data framew...
Deborah L. McGuinness, Peter Fox, Luca Cinquini, P...
151
Voted
AAAI
2008
15 years 8 months ago
In-the-Dark Network Traffic Classification Using Support Vector Machines
This work addresses the problem of in-the-dark traffic classification for TCP sessions, an important problem in network management. An innovative use of support vector machines (S...
William H. Turkett Jr., Andrew V. Karode, Errin W....