Sciweavers

4753 search results - page 173 / 951
» Natural Modelling of Interactive Applications
Sort
View
WSCG
2003
140views more  WSCG 2003»
13 years 9 months ago
Interactive Rendering Technique for Realistic Oriental Painting
Interactive and realistic rendering of various effects which are appeared in the real world paintings can be used for several applications such as animation or education. For West...
Young-Jung Yu, Do-Hoon Lee, Young Bok Lee, Hwan-Gu...
ESORICS
2002
Springer
14 years 8 months ago
Formal Security Analysis with Interacting State Machines
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
David von Oheimb, Volkmar Lotz
ECRTS
2005
IEEE
14 years 2 months ago
Fast Component Interaction for Real-Time Systems
Open real-time systems provide for co-hosting hard-, soft- and non-real-time applications. Microkernel-based designs in addition allow for these applications to be mutually protec...
Udo Steinberg, Jean Wolter, Hermann Härtig
ATAL
2009
Springer
14 years 2 months ago
Effective solutions for real-world Stackelberg games: when agents must deal with human uncertainties
How do we build multiagent algorithms for agent interactions with human adversaries? Stackelberg games are natural models for many important applications that involve human intera...
James Pita, Manish Jain, Fernando Ordó&ntil...
JGAA
2007
88views more  JGAA 2007»
13 years 8 months ago
Dynamic Spectral Layout with an Application to Small Worlds
Spectral methods are naturally suited for dynamic graph layout because, usually, moderate changes of a graph yield moderate changes of the layout. We discuss some general principl...
Ulrik Brandes, Daniel Fleischer, Thomas Puppe