4595 search results - page 402 / 919 » Reasoning about Plans |
268
click to vote
SAS
2010
Springer
15 years 6 months ago
2010
Springer
Recent innovations in automatic parallelizing compilers are showing impressive speedups on multicore processors using shared memory with asynchronous channels. We have formulated a...
225
click to vote
IAT
2010
IEEE
15 years 5 months ago
2010
IEEE
There is a need for research on the scientific base and engineering requirements for building trustworthy systems in dynamic environments. To address this need, we study risk analy...
220
click to vote
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
We develop the theory of regular cost functions over finite trees: a quantitative extension to the notion of regular languages of trees: Cost functions map each input (tree) to a v...
244
click to vote
DLOG
2009
15 years 5 months ago
2009
Abstract This paper analyzes the probabilistic description logic PSHIQ by looking at it as a fragment of probabilistic first-order logic with semantics based on possible worlds. We...
187
click to vote
FOMI
2009
15 years 5 months ago
2009
Ontologies are widely used in the biomedical community, which has built standard reference ontologies for various aspects of medicine. These projects have produced broad descriptio...