11716 search results - page 2219 / 2344 » Computable symbolic dynamics |
195
click to vote
FPCA
1995
15 years 9 months ago
1995
Game semantics is an unusual denotational semantics in that it captures the intensional (or algorithmic) and dynamical aspects of the computation. This makes it an ideal semantica...
177
click to vote
ICPP
1995
IEEE
15 years 9 months ago
1995
IEEE
Interactive program steering permits researchers to monitor and guide their applications during runtime. Interactive steering can help make end users more effective in addressing ...
136
click to vote
SIGGRAPH
1995
ACM
15 years 9 months ago
1995
ACM
TicTacToon is a system for professional 2D animation studios that replaces the traditional paper-based production process. TicTacToon is the first animation system to use vector-...
162
click to vote
SIGGRAPH
1995
ACM
15 years 9 months ago
1995
ACM
We present a new, interactive tool called Intelligent Scissors which we use for image segmentation and composition. Fully automated segmentation is an unsolved problem, while manu...
172
click to vote
VISUALIZATION
1995
IEEE
15 years 9 months ago
1995
IEEE
In the research described here, we have constructed at tightly coupled set of methods for monitoring, steering, and applying visual analysis to large scale simulations. This work ...