3446 search results - page 495 / 690 » A Reasoning Algorithm for pD* |
180
click to vote
IPPS
2007
IEEE
16 years 27 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...
153
click to vote
APPROX
2007
Springer
16 years 24 days 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...
194
click to vote
KI
2007
Springer
16 years 22 days 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...
209
click to vote
TACAS
2007
Springer
16 years 21 days 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...
165
click to vote
ICPP
2006
IEEE
16 years 19 days 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...