4460 search results - page 752 / 892 » Formal methods for interactive systems |
115
Voted
DIGRA
2005
Springer
15 years 9 months ago
2005
Springer
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...
121
Voted
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
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...
131
click to vote
IUI
2004
ACM
15 years 9 months ago
2004
ACM
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...
133
Voted
EDOC
2003
IEEE
15 years 9 months ago
2003
IEEE
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...
134
Voted
HICSS
2002
IEEE
15 years 8 months ago
2002
IEEE
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 ...