4615 search results - page 569 / 923 » Virtual Classes and Their Implementation |
189
click to vote
SAC
2004
ACM
16 years 6 days ago
2004
ACM
A data warehouse (DW) provides an information for analytical processing, decision making, and data mining tools. On the one hand, the structure and content of a data warehouse ref...
193
click to vote
VRST
2004
ACM
16 years 6 days ago
2004
ACM
In this paper we present an interactive collision detection algorithm for complex and deformable objects. For two target models, our approach rapidly calculates their region of in...
189
click to vote
CADE
2004
Springer
16 years 5 days ago
2004
Springer
The dependency pair approach is one of the most powerful techniques for automated (innermost) termination proofs of term rewrite systems (TRSs). For any TRS, it generates inequalit...
175
click to vote
ECOOP
2004
Springer
16 years 5 days ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
187
click to vote
RT
2004
Springer
16 years 4 days ago
2004
Springer
This paper proposes a new shadow map technique termed trapezoidal shadow maps to calculate high quality shadows in real-time applications. To address the resolution problem of the...