1382 search results - page 196 / 277 » Procedural Generation of Roads |
CHI
2004
ACM
15 years 10 months ago
2004
ACM
Cell phone interfaces are now ubiquitous. In this paper, we describe concepts to support the analysis of cell phone menu hierarchies. We present an empirical study of user perform...
CADE
2002
Springer
15 years 10 months ago
2002
Springer
Abstract. We investigate the combination of propositional SAT checkers with domain-specific theorem provers as a foundation for bounded model checking over infinite domains. Given ...
ICSE
2003
IEEE-ACM
15 years 10 months ago
2003
IEEE-ACM
This paper describes the role of requirements discovery during the testing of a safety-critical software system. Analysis of problem reports generated by the integration and syste...
PERCOM
2007
ACM
15 years 9 months ago
2007
ACM
This paper presents novel text input methods for mobile devices. In particular, it shows how users can capture text from books, newspapers, and other objects by using the digital ...
DCC
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper introduces a linear programming (LP) technique that performs ratedistortion based optimization for constrained video coding. Given the assumption of piecewise linear an...