3225 search results - page 216 / 645 » Compiling Experience into Knowledge |
158
click to vote
CC
2001
Springer
15 years 10 months ago
2001
Springer
Compilers can exploit knowledge that a variable has a fixed known value at a program point for optimizations such as code specialization and constant folding. Recent work has shown...
182
click to vote
AAAI
2007
15 years 8 months ago
2007
Efficient query answering over ontologies is one of the most useful and important services to support Semantic Web applications. Approximation has been identified as a potential...
147
click to vote
AAAI
2008
15 years 8 months ago
2008
In this paper, we present a normal form for concept expressions in the description logic ALC which is based on a recently introduced notion of prime implicate for the modal logic ...
214
click to vote
COOTS
2001
15 years 7 months ago
2001
Many authors have proposed using byte code rewriting as a way of adapting or extending the behaviour of Java There are toolkits available that simplify this process and raise the ...
168
click to vote
IPL
2006
15 years 6 months ago
2006
Weighted threshold functions with positive weights are a natural generalization of unweighted threshold functions. These functions are clearly monotone. However, the naive way of ...