Sciweavers

714 search results - page 55 / 143
» Dynamic Component Program Visualization
Sort
View
SAC
2009
ACM
15 years 8 months ago
Dynamic planning and weaving of dependability concerns for self-adaptive ubiquitous services
Ubiquitous computing and service-oriented computing enable the development of a new trend of applications that can opportunely interact with services discovered in the surrounding...
Romain Rouvoy, Frank Eliassen, Mikaël Beauvoi...
136
Voted
JOLLI
2008
145views more  JOLLI 2008»
15 years 1 months ago
Temporal Languages for Epistemic Programs
This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statemen...
Joshua Sack
BMCBI
2007
167views more  BMCBI 2007»
15 years 1 months ago
MindSeer: a portable and extensible tool for visualization of structural and functional neuroimaging data
Background: Three-dimensional (3-D) visualization of multimodality neuroimaging data provides a powerful technique for viewing the relationship between structure and function. A n...
Eider B. Moore, Andrew V. Poliakov, Peter Lincoln,...
ICPR
2002
IEEE
16 years 3 months ago
On the Preview of Digital Movies
In this paper, a new technique is proposed for the automatic generation of a preview sequence of a feature film. The input video is decomposed into a number of basic components ca...
Liang-Hua Chen, Chih-Wen Su, Hong-Yuan Mark Liao, ...
VMV
2001
144views Visualization» more  VMV 2001»
15 years 3 months ago
Towards Real-Time Visual Simulation of Water Surfaces
In this paper we demonstrate the benefits of the most current nVidia graphics chip set for realistic simulation and rendering of dynamic water surfaces in real-time. In particular...
Jens Schneider, Rüdiger Westermann