77 search results - page 16 / 16 » Tailoring Temporal Description Logics for Reasoning over Tem... |
PLDI
2009
ACM
14 years 2 days ago
2009
ACM
We show that recursive programs where variables range over finite domains can be effectively and efficiently analyzed by describing the analysis algorithm using a formula in a ...
VCIP
2003
13 years 6 months ago
2003
This paper describes how the handling of visual media objects is implemented in the visual information retrieval project VizIR. Essentially, four areas are concerned: media access...