7991 search results - page 256 / 1599 » Using More Reasoning to Improve |
187
click to vote
DLOG
2006
15 years 8 months ago
2006
Abstract. Modern description logic (DL) reasoners are known to be less efficient for DLs with inverse roles. The current loss of performance is largely due to the missing applicabi...
154
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
We present lookahead widening, a novel technique for using existing widening and narrowing operators to improve the precision of static analysis. This technique is both self-contai...
171
click to vote
ICCD
2002
IEEE
16 years 3 months ago
2002
IEEE
With technology advancing toward deep submicron, leakage energy is of increasing concern, especially for large onchip array structures such as caches and branch predictors. Recent...
189
click to vote
ACISICIS
2007
IEEE
16 years 1 months ago
2007
IEEE
People enacting processes deviate from the process definition for a variety of different reasons, the consequences of which may be either positive or negative. Detecting deviation...
142
click to vote
SEMWEB
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. There is a growing discrepancy between the creation of digital content and its actual employment and usefulness in a learning society. Technologies for recording lectures...