3608 search results - page 193 / 722 » computer 2011 |
191
click to vote
LPNMR
2011
Springer
14 years 6 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...
106
click to vote
NAR
2011
14 years 6 months ago
2011
Indians, representing about one-sixth of the world population, consist of several thousands of endogamous groups with strong potential for excess of recessive diseases. However, n...
217
click to vote
ATVA
2011
Springer
14 years 4 months 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....
150
Voted
COMGEO
2011
ACM
14 years 11 months ago
2011
ACM
In this note, we show that the size of the perimeter of (α, β)-covered objects is a linear function of the diameter. Specifically, for an (α, β)-covered object O, per(O) ≤ c...
154
click to vote
IAJIT
2011
14 years 11 months ago
2011
: This paper proposes a constraint programming based approach to handle ontologies consistency, and more precisely user-defined consistencies. In practice, ontologies consistency i...