This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
This paper focuses on the design of pleasurably playful interfaces within an interactive art context. It describes the development of a framework of thirteen pleasures of play and ...
The goal of the research is creation of an adaptation mechanism for the delivery of threedimensional content. The adaptation of content, for various network and terminal capabilit...
HyungSeok Kim, Chris Joslin, Thomas Di Giacomo, St...
Given the fracturing of virtual and physical spaces, young people are less involved in their local surrounding spaces. Yet, investing the community space is related to sense of co...
We present a method for disambiguating syntactic subjects from syntactic objects (a frequent ambiguity) in German sentences taken from an English-German bitext. We exploit the fac...
Florian Schwarck, Alexander Fraser, Hinrich Sch&uu...