14774 search results - page 2733 / 2955 » Computational complexity and evolutionary computation |
177
click to vote
CHARME
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
234
click to vote
DALT
2005
Springer
16 years 19 days ago
2005
Springer
Developing applications that make effective use of machine-readable knowledge sources as promised by the Semantic Web vision is attracting much of current research interest; this v...
189
click to vote
DIGRA
2005
Springer
16 years 19 days ago
2005
Springer
Despite the fact that there are currently a number of enjoyable digital games in which light plays a key role, we lack a vocabulary with which to discuss simulated illumination in...
182
Voted
DIGRA
2005
Springer
16 years 19 days ago
2005
Springer
Although emotions elicited by the fictional world or the artefact play a part in story-driven video games, they are certainly not the focus of the experience. From a cognitive psy...
165
Voted
DIGRA
2005
Springer
16 years 19 days ago
2005
Springer
This illustrated paper reports on the early digital games industry in New Zealand, during the late 1970s and 80s. It presents an overview of this largely unknown history, drawing ...