132 search results - page 3 / 27 » A property-based approach for characterizing goals |
FDG
2009
ACM
14 years 9 days ago
2009
ACM
Game reviews are one of the primary forms of videogame journalism and are also one of the prevalent forms of discourse about games. How can we characterize them and better underst...
ICCAD
2010
IEEE
13 years 3 months ago
2010
IEEE
In this paper, we propose a new technique, referred to as MultiWafer Virtual Probe (MVP) to efficiently model wafer-level spatial variations for nanoscale integrated circuits. Tow...
CHI
2011
ACM
12 years 9 months ago
2011
ACM
This work explores the intersection between infographics and games by examining how to embed meaningful visual analytic interactions into game mechanics that in turn impact user b...
ECCV
2004
Springer
14 years 7 months ago
2004
Springer
This paper proposes a robust estimation and validation framework for characterizing local structures in a positive multi-variate continuous function approximated by a Gaussian-base...
DEBS
2010
ACM
13 years 9 months ago
2010
ACM
Operator-based programming languages provide an effective development model for large scale stream processing applications. A stream processing application consists of many runtim...