5619 search results - page 224 / 1124 » A Region Inference Algorithm |
110
Voted
AAAI
1994
15 years 3 months ago
1994
We propose a propositional language for temporal reasoning that is computationally effective yet expressive enough to describe information about fluents, events and temporal const...
144
Voted
DLOG
2011
14 years 6 months ago
2011
We present an optimized query rewriting algorithm for OWL 2 QL that computes the rewriting set of a user query by avoiding unnecessary inferences and extended clause subsumption ch...
175
Voted
LPNMR
2011
Springer
14 years 5 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...
246
Voted
POPL
2006
ACM
16 years 2 months ago
2006
ACM
The movement to multi-core processors increases the need for simpler, more robust parallel programming models. Atomic sections have been widely recognized for their ease of use. T...
159
Voted
BIBM
2008
IEEE
15 years 9 months ago
2008
IEEE
The study of gene function is critical in various genomic and proteomic fields. Due to the availability of tremendous amounts of different types of protein data, integrating thes...