3446 search results - page 495 / 690 » A Reasoning Algorithm for pD* |
165
click to vote
IPPS
2007
IEEE
16 years 2 days ago
2007
IEEE
While improving raw performance is of primary interest to most users of high-performance computers, energy consumption also is a critical concern. Some microprocessors allow volta...
145
click to vote
APPROX
2007
Springer
15 years 12 months ago
2007
Springer
Consider a scenario where one desires to simulate the execution of some graph algorithm on random input graphs of huge, perhaps even exponential size. Sampling and storing these h...
177
click to vote
KI
2007
Springer
15 years 12 months ago
2007
Springer
Axiom pinpointing has been introduced in description logics (DLs) to help the user understand the reasons why consequences hold by computing minimal subsets of the knowledge base t...
182
click to vote
TACAS
2007
Springer
15 years 12 months ago
2007
Springer
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...
155
click to vote
ICPP
2006
IEEE
15 years 11 months ago
2006
IEEE
These days an increasing number of applications, especially in science and engineering, are dealing with a massive amount of data; hence they are dataintensive. Bioinformatics, da...