2381 search results - page 156 / 477 » On Ordering Descriptions in a Description Logic |
DSVIS
2008
Springer
15 years 3 months ago
2008
Springer
Graphical rendering must be fast enough so as to avoid hindering the user perception/action loop. Traditionally, programmers interleave descriptions and optimizations to achieve su...
91
Voted
SYNTHESE
2008
15 years 1 months ago
2008
This paper discusses the notion of necessity in the light of results from contemporary mathematical practice. Two descriptions of necessity are considered. According to the first, ...
106
click to vote
OWLED
2007
15 years 3 months ago
2007
The use of background knowledge and the adoption of Horn clausal logic as a knowledge representation and reasoning framework are the distinguishing features of Inductive Logic Prog...
125
click to vote
SIGPLAN
2002
15 years 1 months ago
2002
Future Interval Logic (FIL) and its intuitive graphical representation, Graphical Interval Logic (GIL), can be used as the formal description language of model checking tools to v...
127
click to vote
VLSI
2007
Springer
15 years 8 months ago
2007
Springer
Abstract—Analysis and verification environments for nextgeneration nano-scale RFIC designs must be able to cope with increasing design complexity and to account for new effects,...