520 search results - page 77 / 104 » New Complexity Results for Classical Planning Benchmarks |
192
Voted
VLDB
2001
ACM
16 years 22 days ago
2001
ACM
: XML is rapidly emerging as a standard for exchanging business data on the World Wide Web. For the foreseeable future, however, most business data will continue to be stored in re...
119
Voted
ICRA
2003
IEEE
15 years 5 months ago
2003
IEEE
− To facilitate training and planning for medical procedures such as prostate brachytherapy, we are developing an interactive simulation of needle insertion and radioactive seed ...
97
Voted
SAC
2004
ACM
15 years 6 months ago
2004
ACM
This work presents decision trees adequate for the classification of series data. There are several methods for this task, but most of them focus on accuracy. One of the requirem...
92
Voted
ATVA
2008
Springer
15 years 2 months ago
2008
Springer
Multi-valued Model Checking is an extension of classical, two-valued model checking with multi-valued logic. Multi-valuedness has been proved useful in expressing additional inform...
100
Voted
ICDE
2010
IEEE
15 years 9 months ago
2010
IEEE
— Many applications require sorting a table over multiple sort orders: generation of multiple reports from a table, evaluation of a complex query that involves multiple instances...