Sciweavers

1546 search results - page 143 / 310
» Context-Aware Computing with Sound
Sort
View
150
Voted
ENTCS
2008
102views more  ENTCS 2008»
15 years 5 months ago
An Algebra for Directed Bigraphs
We study the algebraic structure of directed bigraphs, a bigraphical model of computations with locations, connections and resources previously introduced as a unifying generaliza...
Davide Grohmann, Marino Miculan
ENTCS
2008
89views more  ENTCS 2008»
15 years 5 months ago
A Quantum Game Semantics for the Measurement Calculus
In this paper we present a game semantics for a quantum programming language based on a new definition of quantum strategies. The language studied is MCdata, a typed version of th...
Yannick Delbecque
170
Voted
SIGCSE
2008
ACM
192views Education» more  SIGCSE 2008»
15 years 5 months ago
Enhancing learning management systems to better support computer science education
Many individual instructors--and, in some cases, entire universities--are gravitating towards the use of comprehensive learning management systems (LMSs), such as Blackboard and M...
Guido Rößling, Mike Joy, Andrés ...
MM
2000
ACM
98views Multimedia» more  MM 2000»
15 years 9 months ago
Determining computable scenes in films and their structures using audio-visual memory models
In this paper we present novel algorithms for computing scenes and within-scene structures in films. We begin by mapping insights from film-making rules and experimental results f...
Hari Sundaram, Shih-Fu Chang
HOTOS
1997
IEEE
15 years 9 months ago
The Role of Trace Modulation in Building Mobile Computing Systems
ty of accurately re-creating a mobile networkingAbstract environment in vitro argues for live experiments. On the In this paper we put forth the view that trace other hand, the dif...
Mahadev Satyanarayanan, Brian Noble