1497 search results - page 113 / 300 » Extended static checking |
DLOG
2011
13 years 1 months ago
2011
We present an optimized query rewriting algorithm for OWL 2 QL that computes the rewriting set of a user query by avoiding unnecessary inferences and extended clause subsumption ch...
ESOP
2001
Springer
14 years 2 months ago
2001
Springer
Equality constraints (unification constraints) have widespread use in program analysis, most notably in static polymorphic type systems. Conditional equality constraints extend eq...
TOOLS
1997
IEEE
14 years 2 months ago
1997
IEEE
Object-oriented programming techniques support construction of reusable and extensible code. However, class-based languages have poor support for implementing type-orthogonal beha...
ICCV
2001
IEEE
15 years 3 days ago
2001
IEEE
In this paper, we propose a method for generating realistic shadows of virtual objects inserted into a real video sequence. Our aim is to improve and extend the work of [1], which...
ICC
2009
IEEE
14 years 5 months ago
2009
IEEE
This work extends the existing static framework for joint flow control, routing and medium access control (MAC) in random access multi-hop wireless networks to a dynamic framewor...