Sciweavers

1034 search results - page 74 / 207
» Importance-Driven Focus of Attention
Sort
View
DIMACS
1996
15 years 29 days ago
Model Checking and the Mu-calculus
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
E. Allen Emerson
VMV
2007
97views Visualization» more  VMV 2007»
15 years 24 days ago
Surface Glyphs for Visualizing Multimodal Volume Data
In this paper we present concepts for integrating glyphs into volumetric data sets. These concepts have been developed with the goal to make glyphbased visualization of multimodal...
Timo Ropinski, Michael Specht, Jennis Meyer-Sprado...
90
Voted
EVOW
2010
Springer
15 years 23 days ago
Evolving a Ms. PacMan Controller Using Grammatical Evolution
In this paper we propose an evolutionary approach capable of successfully combining rules to play the popular video game, Ms. PacMan. In particular we focus our attention on the be...
Edgar Galván López, John Mark Swaffo...
109
Voted
HUC
2010
Springer
15 years 22 days ago
Surprise trips: a system to augment the natural experience of exploration
Little treasures in nature often go unnoticed by visitors when roaming about in a national park. Ubiquitous technology with its less intrusive character may be apt to enhance this...
Matthias Korn, Raghid Kawash, Lisbet Andersen
ESEM
2010
ACM
14 years 12 months ago
Synthesizing evidence in software engineering research
Synthesizing the evidence from a set of studies that spans many countries and years, and that incorporates a wide variety of research methods and theoretical perspectives, is prob...
Daniela Cruzes, Tore Dybå