1928 search results - page 327 / 386 » Integrity Constraints in OWL |
CODES
2008
IEEE
13 years 10 months ago
2008
IEEE
With power becoming a major constraint for multi-processor embedded systems, it is becoming important for designers to characterize and model processor power dissipation. It is cr...
AI
2008
Springer
13 years 10 months ago
2008
Springer
It is well-known that knowledgebases may contain inconsistencies. We provide a framework of measures, based on a first-order four-valued logic, to quantify the inconsistency of a ...
CGF
2010
13 years 10 months ago
2010
Medical volume images contain ambiguous and low-contrast boundaries around which existing fully- or semiautomatic segmentation algorithms often cause errors. In this paper, we pro...
CPHYSICS
2008
13 years 10 months ago
2008
A scalable parallel algorithm has been designed to perform multimillion-atom molecular dynamics (MD) simulations, in which first principlesbased reactive force fields (ReaxFF) des...
ENTCS
2008
13 years 10 months ago
2008
Most implementations of functional and functional logic languages treat numbers and the basic numeric operations as external entities. The main reason for this is efficiency. Howe...