Sciweavers

677 search results - page 96 / 136
» Chameleon: Hierarchical Clustering Using Dynamic Modeling
Sort
View
DFG
2004
Springer
14 years 12 days ago
Verification of PLC Programs Given as Sequential Function Charts
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven ...
SIMUTOOLS
2008
13 years 10 months ago
Snoopy: a tool to design and animate/simulate graph-based formalisms
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along wit...
Monika Heiner, Ronny Richter, Martin Schwarick
ECCV
2008
Springer
14 years 10 months ago
Statistical Analysis of Global Motion Chains
Abstract. Multiple elements such as lighting, colors, dialogue, and camera motion contribute to the style of a movie. Among them, camera motion is commonly overlooked yet a crucial...
Jenny Yuen, Yasuyuki Matsushita
DAGSTUHL
1997
13 years 10 months ago
Fast and Accurate Collision Detection for Virtual Environments
A realistic simulation system, which couples geometry and physics, can provide a useful toolkit for virtual environments. Interactions among moving objects in the virtual worlds a...
Ming C. Lin
ICAC
2006
IEEE
14 years 2 months ago
Autonomic Provisioning of Backend Databases in Dynamic Content Web Servers
— In autonomic provisioning, a resource manager allocates resources to an application, on-demand, e.g., during load spikes. Modelling-based approaches have proved very successful...
Jin Chen, Gokul Soundararajan, Cristiana Amza