Sciweavers

6357 search results - page 961 / 1272
» An Interactive Interface for Lighting-by-Example
Sort
View
153
Voted
MM
2005
ACM
117views Multimedia» more  MM 2005»
16 years 8 days ago
Streaming with causality: a practical approach
Highly interactive collaborative streaming applications express the need for causality. Solutions exist but we argue that more work needs to be done especially from a perceptual p...
Cezar Plesca, Romulus Grigoras, Philippe Qué...
DSVIS
2005
Springer
16 years 8 days ago
Mapping ConcurTaskTrees into UML 2.0
Abstract. The ConcurTaskTrees (CTT) is one of the most widely used notations for task modeling, specifically tailored for user interface model-based design. The integration of CTT ...
Leonel Nóbrega, Nuno Jardim Nunes, Helder C...
FROCOS
2005
Springer
16 years 7 days ago
Connecting a Logical Framework to a First-Order Logic Prover
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
Andreas Abel, Thierry Coquand, Ulf Norell
160
Voted
GD
2005
Springer
16 years 7 days ago
Visualizing Graphs as Trees: Plant a Seed and Watch it Grow
TreePlus is a graph browsing technique based on a tree-style layout. It shows the missing graph structure using interaction techniques and enables users to start with a specific no...
Bongshin Lee, Cynthia Sims Parr, Catherine Plaisan...
ACMDIS
2004
ACM
16 years 5 days ago
Intimate objects
We present a preliminary and ongoing study into intimate objects: technological devices for maintaining intimacy at a distance. We use the notion of critical technical practice to...
Joseph Kaye, Liz Goulding