3446 search results - page 560 / 690 » A Reasoning Algorithm for pD* |
154
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
The growing design-productivity gap has made designers shift toward using high-level languages like C, C++ and Java to do system-level design. High-Level Synthesis (HLS) is the pro...
149
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
The typical workload in a database system consists of a mixture of multiple queries of different types, running concurrently and interacting with each other. Hence, optimizing per...
122
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
We introduce a multi-stage ensemble framework, ErrorDriven Generalist+Expert or Edge, for improved classification on large-scale text categorization problems. Edge first trains a ...
155
click to vote
COCOON
2008
Springer
15 years 5 months ago
2008
Springer
Consider a trader who exchanges one dollar into yen and assume that the exchange rate fluctuates within the interval [m, M]. The game ends without advance notice, then the trader ...
128
click to vote
CONCUR
2008
Springer
15 years 5 months ago
2008
Springer
We introduce subsequence invariants, which characterize the behavior of a concurrent system in terms of the occurrences of synchronization events. Unlike state invariants, which re...