Sciweavers

942 search results - page 133 / 189
» Application of Model Driven Techniques for Agent-Based Simul...
Sort
View
198
Voted
IEEEPACT
2003
IEEE
15 years 4 months ago
Biomedical Computing and Visualization
Computers have changed the way we live, work, and even recreate. Now, they are transforming how we think about and treat human disease. In particular, advanced techniques in biome...
Chris Johnson
FASE
2004
Springer
15 years 2 months ago
Specification and Analysis of Real-Time Systems Using Real-Time Maude
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
Peter Csaba Ölveczky, José Meseguer
WWW
2004
ACM
15 years 11 months ago
Business objective based resource management
Enterprises today wish to manage their IT resources so as to optimize business objectives, such as income, rather than IT metrics, such as response times. Therefore, we introduce ...
Sarel Aiber, Dagan Gilat, Ariel Landau, Natalia Ra...
ICIP
2006
IEEE
16 years 22 days ago
Online Video Stabilization Based on Particle Filters
Particle filters have been introduced as a powerful tool to estimate the posterior density of nonlinear systems. These filters are also capable of processing data online as requir...
Chong Chen, Dan Schonfeld, Junlan Yang, Magdi A. M...
DIGRA
2005
Springer
15 years 4 months ago
Interactive Digital Storytelling: Towards a Hybrid Conceptual Approach
In this contribution, “Interactive Digital Storytelling” is viewed as a hybrid form of game design and cinematic storytelling for the understanding and creation of future lear...
Ulrike Spierling