1054 search results - page 123 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
165
click to vote
WOLLIC
2007
Springer
16 years 8 days ago
2007
Springer
In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...
152
click to vote
CISS
2008
IEEE
16 years 19 days ago
2008
IEEE
— Probe based data storage is a promising solution for satisfying the demand for ultra-high capacity storage devices. One of the main problems with probe storage devices is the w...
187
click to vote
VIP
2001
15 years 7 months ago
2001
The intersection of theatre-performance, design, and informatics is a fertile area for a broader understanding of the possible design and interaction between people and avatars in...
164
click to vote
DOCENG
2003
ACM
15 years 11 months ago
2003
ACM
Interactive video technology is meant to support user-interaction with video in scene objects associated with navigation in video segments and access to text-based metadata. Inter...
157
click to vote
SAC
2000
ACM
15 years 10 months ago
2000
ACM
Since 1990 the Web has changed from a distributed hypertext system to an efficient environment for application delivery. Due to the legacy of the Web implementation model the deve...