2958 search results - page 88 / 592 » Extending and Implementing RASP |
POPL
1997
ACM
14 years 15 days ago
1997
ACM
Java offers the real possibility that most programs can be written in a type-safe language. However, for Java to be broadly useful, it needs additional expressive power. This pape...
DLOG
2004
13 years 10 months ago
2004
We show how a tableaux algorithm for SHIQ can be extended to support role boxes that include range and domain axioms, prove that the extended algorithm is still a decision procedur...
DEDUCTIVE
1993
13 years 10 months ago
1993
This chapter discusses an extended deductive database prototype system, Q-Data, developed by Bellcore to improve data quality through data validation and cleanup. The key technolo...
CI
2004
13 years 8 months ago
2004
This paper shows how action theories, expressed in an extended version of the language B, can be naturally encoded using Prioritized Default Theory. We also show how prioritized d...
VR
2011
IEEE
13 years 20 days ago
2011
IEEE
When viewed from below, a user’s feet cast shadows onto the floor screen of an under-floor projection system, such as a sixsided CAVE. Tracking those shadows with a camera provi...