We study visibly pushdown automata (VPA) models for expressing and evaluating queries, expressed using MSO formulas, on words with a nesting structure (like XML documents). We deļ...
: eScience is rapidly changing the way we do research. As a result, many research labs now need non-trivial computational power. Grid and voluntary computing are well-established s...
Walfredo Cirne, Francisco Vilar Brasileiro, Nazare...
The model checking problem for ļ¬nite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...
Database systems have been designed to manage business critical information and make this information accessible on request to connected clients. There is, however, an ever-increa...
We present a new algorithm for efficient rendering of high-quality depth-of-field (DoF) effects. We start with a single rasterized view (reference view) of the scene, and sample t...