Sciweavers

4460 search results - page 752 / 892
» Formal methods for interactive systems
Sort
View
115
Voted
DIGRA
2005
Springer
15 years 9 months ago
Immersion in Game Atmospheres for the Video Game Heritage Preservation
The video game heritage is being preserved especially on the Web: comments, screenshots, sounds, videos, etc. But one important element is missing: the environment in which we pla...
Nicolas Esposito
121
Voted
GECCO
2005
Springer
127views Optimization» more  GECCO 2005»
15 years 9 months ago
Sufficiency verification of HIV-1 pathogenesis based on multi-agent simulation
Researchers of HIV-1 are today, still unable to determine exactly the biological mechanisms that cause AIDS. Various mechanisms have been hypothesized and their existences have be...
Zaiyi Guo, Hann Kwang Han, Joc Cing Tay
IUI
2004
ACM
15 years 9 months ago
Tailored audio augmented environments for museums
The paper deals with the design of an intelligent user interface augmenting the user experience in a museum domain, by providing and immersive audio environment. We focus on the i...
Lucia Terrenghi, Andreas Zimmermann
133
Voted
EDOC
2003
IEEE
15 years 9 months ago
An Extensible Binding Framework for Component-Based Middleware
One of the most significant limitations of current middleware platforms, both commercial and research, is that they typically support only a small, pre-defined, set of fundamental...
Nikos Parlavantzas, Geoff Coulson, Gordon S. Blair
134
Voted
HICSS
2002
IEEE
135views Biometrics» more  HICSS 2002»
15 years 8 months ago
Integrated Production Planning and Route Scheduling in Pulp Mill Industry
In this paper we consider the complete supply chain for a large pulp producer in Sweden. The supply chain is divided up in two parts, the pulp production planning problem and the ...
David Bredström, Mikael Rönnqvist