Sciweavers

3002 search results - page 343 / 601
» Toward Virtual Humans
Sort
View
STORYTELLING
2007
Springer
16 years 23 days ago
Automatic Direction of Interactive Storytelling: Formalizing the Game Master Paradigm
Abstract. During the fast evolution of automatic direction of Interactive Digital Storytelling many description of similar ideas have appeared in the academic literature. System ar...
Federico Peinado, Pablo Gervás
ECBS
2006
IEEE
166views Hardware» more  ECBS 2006»
16 years 21 days ago
Model Transformations in the Model-Based Development of Real-time Systems
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
Tivadar Szemethy, Gabor Karsai, Daniel Balasubrama...
ICMCS
2006
IEEE
99views Multimedia» more  ICMCS 2006»
16 years 21 days ago
Near-Future Streaming Framework for 3D-TV Applications
This paper presents a layered framework for 3D-TV applications, combining multiview and depth-image based approaches in a scalable fashion. To solve the problem of missing data du...
Goran Petrovic, Peter N. De With
156
Voted
TPHOL
2005
IEEE
16 years 7 days ago
On the Correctness of Operating System Kernels
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach...
HICSS
2003
IEEE
105views Biometrics» more  HICSS 2003»
15 years 12 months ago
New Software Development Paradigms and Possible Adoption for Security
EGovernment would be a lot easier if it could be handled like eBusiness. Unfortunately there are organizational and legal obstacles that make it virtually impossible. The security...
Matthias Günter, Michael Gisler, Bianca von B...