357 search results - page 17 / 72 » Optimizing programs with intended semantics |
COOPIS
2002
IEEE
14 years 15 days ago
2002
IEEE
Abstract. F-logic is a popular formalism for knowledge-intensive applications and, especially, for ontology management in Semantic Web. However, the original F-logic’s semantics ...
POPL
2002
ACM
14 years 7 months ago
2002
ACM
Many classical compiler optimizations can be elegantly expressed using rewrite rules of form: I = I if , where I, I are intermediate language instructions and is a property expre...
CGF
2006
13 years 7 months ago
2006
Composite images are synthesized from existing photographs by artists who make concept art, e.g., storyboards for movies or architectural planning. Current techniques allow an art...
ERSHOV
2006
Springer
13 years 11 months ago
2006
Springer
In this work, we present a semantic query optimization technique to improve the efficiency of the evaluation of a subset of SQL:1999 recursive queries. Using datalog notation, we c...
JAVA
2001
Springer
13 years 12 months ago
2001
Springer
Java has integrated multithreading to a far greater extent than most programming languages. It is also one of the only languages that specifies and requires safety guarantees for...