11716 search results - page 2219 / 2344 » Computable symbolic dynamics |
FPCA
1995
14 years 18 days 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...
ICPP
1995
IEEE
14 years 17 days 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 ...
SIGGRAPH
1995
ACM
14 years 17 days 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-...
SIGGRAPH
1995
ACM
14 years 17 days 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...
VISUALIZATION
1995
IEEE
14 years 17 days 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 ...