Sciweavers

3951 search results - page 433 / 791
» Automatic amortized analysis
Sort
View
CHI
2002
ACM
16 years 7 months ago
Automating CPM-GOMS
CPM-GOMS is a modeling method that combines the task decomposition of a GOMS analysis with a model of human resource usage at the level of cognitive, perceptual, and motor operati...
Bonnie E. John, Alonso H. Vera, Michael Matessa, M...
ICCD
2003
IEEE
127views Hardware» more  ICCD 2003»
16 years 3 months ago
Structural Detection of Symmetries in Boolean Functions
Functional symmetries provide significant benefits for multiple tasks in synthesis and verification. Many applications require the manual specification of symmetries using spe...
Guoqiang Wang, Andreas Kuehlmann, Alberto L. Sangi...
MMM
2009
Springer
126views Multimedia» more  MMM 2009»
16 years 3 months ago
A User Experience Model for Home Video Summarization
In this paper, we propose a novel system for automatically summarizing home videos based on a user experience model. The user experience model takes account of user’s spontaneous...
Wei-Ting Peng, Wei-Jia Huang, Wei-Ta Chu, Chien-Na...
IUI
2009
ACM
16 years 3 months ago
Data-driven exploration of musical chord sequences
We present data-driven methods for supporting musical creativity by capturing the statistics of a musical database. Specifically, we introduce a system that supports users in expl...
Eric Nichols, Dan Morris, Sumit Basu
SAC
2010
ACM
16 years 1 months ago
Feature selection for ordinal regression
Ordinal regression (also known as ordinal classification) is a supervised learning task that consists of automatically determining the implied rating of a data item on a fixed, ...
Stefano Baccianella, Andrea Esuli, Fabrizio Sebast...