Sciweavers

2049 search results - page 273 / 410
» A General Method for Statistical Performance Evaluation
Sort
View
ADMA
2006
Springer
101views Data Mining» more  ADMA 2006»
16 years 14 days ago
ZED: Explaining Temporal Variations in Query Volume
We hypothesize that the variance in volume of high-velocity queries over time can be explained by observing that these queries are formulated in response to events in the world tha...
Maojin Jiang, Shlomo Argamon, Abdur Chowdhury, Kus...
ACL2
2006
ACM
16 years 14 days ago
Adding parallelism capabilities to ACL2
We have implemented parallelism primitives that permit an ACL2 programmer to parallelize execution of ACL2 functions. We (1) introduce logical definitions for these primitives, (...
David L. Rager
IFL
2005
Springer
155views Formal Methods» more  IFL 2005»
15 years 12 months ago
A Binding Scope Analysis for Generic Programs on Arrays
Performance of generic array programs crucially relies on program specialization wrt. shape information. Traditionally, this is done in a rather adhoc fashion by propagating all sh...
Clemens Grelck, Sven-Bodo Scholz, Alexander V. Sha...
EMMCVPR
2003
Springer
15 years 11 months ago
Watershed-Based Unsupervised Clustering
In this paper, a novel general purpose clustering algorithm is presented, based on the watershed algorithm. The proposed approach defines a density function on a suitable lattice,...
Manuele Bicego, Marco Cristani, Andrea Fusiello, V...
ISWC
1998
IEEE
15 years 10 months ago
Preliminary Investigation of Wearable Computers for Task Guidance in Aircraft Inspection
This paper describes a preliminary investigation of how the capabilities of wearable computers may be used to provide task guidance in mobile environments. Specifically, this stud...
Jennifer J. Ockerman, Amy R. Pritchett