661 search results - page 60 / 133 » An Operator Interaction Framework for Visualization Systems |
ENTCS
2002
13 years 9 months ago
2002
Category theory has proved a useful tool in the study of type systems for sequential programming languages. Various approaches have been proposed to use categorical models to exam...
ENTCS
2011
13 years 4 months ago
2011
SUBSEXPL is a system originally developed to visualise reductions, simpliļ¬cations and normalisations in three important calculi of explicit substitutions and has been applied to...
SIGMETRICS
2010
ACM
14 years 2 months ago
2010
ACM
We present RSIO, a processor scheduling framework for improving the response time of latency-sensitive applications by monitoring accesses to I/O channels and inferring when user ...
RT
1997
Springer
14 years 1 months ago
1997
Springer
: The advent of computer augmented reality (CAR), in which computer generated objects mix with real video images, has resulted in many interesting new application domains. Providin...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
Interactions between agents in an open system such as the Internet require a significant degree of flexibility. A crucial aspect of the development of such methods is the notion o...