Sciweavers

573 search results - page 37 / 115
» Temporal Views as Abstract Relations
Sort
View
SI3D
1997
ACM
13 years 12 months ago
Managing Latency in Complex Augmented Reality Systems
Registration (or alignment) of the synthetic imagery with the real world is crucial in augmented reality (AR) systems. The data from user-input devices, tracking devices, and imag...
Marco C. Jacobs, Mark A. Livingston, Andrei State
FM
2009
Springer
154views Formal Methods» more  FM 2009»
13 years 5 months ago
Specification and Verification of Web Applications in Rewriting Logic
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
María Alpuente, Demis Ballis, Daniel Romero
EUROPAR
2006
Springer
13 years 11 months ago
Specification of Inefficiency Patterns for MPI-2 One-Sided Communication
Abstract. Automatic performance analysis of parallel programs can be accomplished by scanning event traces of program execution for patterns representing inefficient behavior. The ...
Andrej Kühnal, Marc-André Hermanns, Be...
ECAI
2004
Springer
14 years 1 months ago
A General Recursive Schema for Argumentation Semantics
Abstract. In argumentation theory, Dung’s abstract framework provides a unifying view of several alternative semantics based on the notion of extension. Recently, a new semantics...
Pietro Baroni, Massimiliano Giacomin
ICDE
2007
IEEE
89views Database» more  ICDE 2007»
13 years 11 months ago
A Flexible Query Graph Based Model for the Efficient Execution of Continuous Queries
In this paper, we propose a simple and flexible execution model that (i) supports a wide spectrum of alternative optimization and execution strategies and their mixtures, (ii) pro...
Yijian Bai, Hetal Thakkar, Haixun Wang, Carlo Zani...