Sciweavers

274 search results - page 40 / 55
» Active capture: automatic direction for automatic movies
Sort
View
SAS
2001
Springer
121views Formal Methods» more  SAS 2001»
14 years 3 min ago
Embedding Chaos
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
Natalia Sidorova, Martin Steffen
WSCG
2003
150views more  WSCG 2003»
13 years 9 months ago
Smart Objects for Attentive Agents
We present an extended framework for modelling agent-object interactions in virtual environments. Our framework is based on the concept of Smart Objects and provides agents with p...
Christopher Peters, Simon Dobbyn, Brian MacNamee, ...
JCSS
2008
159views more  JCSS 2008»
13 years 7 months ago
Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models
Internet worms are classically described using SIR models and simulations, to capture the massive dynamics of the system. Here we are able to generate a differential equation-base...
Jeremy T. Bradley, Stephen T. Gilmore, Jane Hillst...
ISF
2007
139views more  ISF 2007»
13 years 7 months ago
Integrated model-driven dashboard development
Abstract Business performance modeling and model-driven business transformation are two research directions that are attracting much attention lately. In this study, we propose an ...
Themis Palpanas, Pawan Chowdhary, George A. Mihail...
CGF
2005
155views more  CGF 2005»
13 years 7 months ago
Light Waving: Estimating Light Positions From Photographs Alone
We present an algorithm to automatically estimate three-dimensional light positions from an unordered set of images. We collect images using a single stationary camera while manua...
Holger Winnemöller, Ankit Mohan, Jack Tumblin...