Sciweavers

757 search results - page 110 / 152
» Automatic Support for Usability Evaluation
Sort
View
VLDB
2007
ACM
129views Database» more  VLDB 2007»
15 years 10 months ago
Processing Forecasting Queries
Forecasting future events based on historic data is useful in many domains like system management, adaptive query processing, environmental monitoring, and financial planning. We...
Songyun Duan, Shivnath Babu
ISMIR
2003
Springer
125views Music» more  ISMIR 2003»
15 years 9 months ago
A scalable peer-to-peer system for music content and information retrieval
Currently a large percentage of Internet traffic consists of music files, typically stored in MP3 compressed audio format, shared and exchanged over Peer-to-Peer (P2P) networks....
George Tzanetakis, Jun Gao, Peter Steenkiste
SC
1990
ACM
15 years 8 months ago
Tracing application program execution on the Cray X-MP and Cray 2
Important insights into program operation can be gained by observing dynamic execution behavior. Unfortunately, many high-performance machines provide execution profile summaries ...
Allen D. Malony, John L. Larson, Daniel A. Reed
ITP
2010
140views Mathematics» more  ITP 2010»
15 years 8 months ago
Case-Analysis for Rippling and Inductive Proof
Abstract. Rippling is a heuristic used to guide rewriting and is typically used for inductive theorem proving. We introduce a method to support case-analysis within rippling. Like ...
Moa Johansson, Lucas Dixon, Alan Bundy
CCGRID
2004
IEEE
15 years 8 months ago
A Java-based programming environment for hierarchical Grid: Jojo
Despite recent developments in higher-level middleware for the Grid supporting high level of ease-of-programming, hurdles for widespread adoption of Grids remain high, due to (1) ...
Hidemoto Nakada, Satoshi Matsuoka