4460 search results - page 246 / 892 » Formal methods for interactive systems |
170
click to vote
VL
2002
IEEE
15 years 10 months ago
2002
IEEE
The design and implementation of a novel visual interactive execution environment for Java is described. This system displays both the run-time object structure as well as the int...
159
click to vote
SIGGRAPH
2010
ACM
15 years 9 months ago
2010
ACM
We present an interactive system for the artistic control of visual phenomena visible on surfaces. Our method allows the user to intuitively reposition shadows, caustics, and indi...
145
Voted
TVCG
2012
13 years 7 months ago
2012
—This paper presents an interactive system for creating painterly animation from video sequences. Previous approaches to painterly animation typically emphasize either purely aut...
151
click to vote
IJBRA
2008
15 years 5 months ago
2008
: A major challenge in text mining for biomedicine is automatically extracting protein-protein interactions from the vast amount of biomedical literature. We have constructed an in...
158
click to vote
VIS
2007
IEEE
16 years 6 months ago
2007
IEEE
Abstract-- We describe a system for interactively rendering isosurfaces of tetrahedral finite-element scalar fields using coherent ray tracing techniques on the CPU. By employing s...