Sciweavers

16430 search results - page 2530 / 3286
» On Computable Tree Functions
Sort
View
WWW
2002
ACM
16 years 8 months ago
A probabilistic approach to automated bidding in alternative auctions
This paper presents an approach to develop bidding agents that participate in multiple alternative auctions, with the goal of obtaining an item at the lowest price. The approach c...
Marlon Dumas, Lachlan Aldred, Guido Governatori, A...
CHI
2009
ACM
16 years 8 months ago
Musink: composing music through augmented drawing
We focus on the creative use of paper in the music composition process, particularly the interaction between paper and end-user programming. When expressing musical ideas, compose...
Theophanis Tsandilas, Catherine Letondal, Wendy E....
SAS
2009
Springer
171views Formal Methods» more  SAS 2009»
16 years 8 months ago
Bottom-Up Shape Analysis
In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We pres...
Bhargav S. Gulavani, Supratik Chakraborty, Ganesan...
CHI
2008
ACM
16 years 8 months ago
Heuristic evaluation for games: usability principles for video game design
Most video games require constant interaction, so game designers must pay careful attention to usability issues. However, there are few formal methods for evaluating the usability...
David Pinelle, Nelson Wong
CHI
2008
ACM
16 years 8 months ago
Evaluation of a role-based approach for customizing a complex development environment
Coarse-grained approaches to customization allow the user to enable or disable groups of features at once, rather than individual features. While this may reduce the complexity of...
Leah Findlater, Joanna McGrenere, David Modjeska
« Prev « First page 2530 / 3286 Last » Next »