3190 search results - page 39 / 638 » cans 2011 |
131
click to vote
DLOG
2011
14 years 4 months ago
2011
We show that, although conjunctive queries over OWL 2 QL ontologies are reducible to database queries, no algorithm can construct such a reduction in polynomial time without changi...
161
Voted
LPNMR
2011
Springer
14 years 3 months ago
2011
Springer
We present an approach to integrating rules and ontologies on the basis of the first-order stable model semantics defined by Ferraris, Lee and Lifschitz. We show that a few exist...
146
Voted
LPNMR
2011
Springer
14 years 3 months ago
2011
Springer
This paper investigates a new approach for computing the inference of defeasible logic. The algorithm proposed can substantially reduced the theory size increase due to transformat...
172
Voted
ATVA
2011
Springer
14 years 13 days ago
2011
Springer
Even though the well-known nested-depth first search algorithm for LTL model checking provides good performance, it cannot benefit from the recent advent of multi-core computers....
109
click to vote
FPL
2011
Springer
14 years 4 days ago
2011
Springer
Abstract—In the clinical applications, medical image registrations on the images taken from different times and/or through different modalities are needed in order to have an obj...