Sciweavers

813 search results - page 76 / 163
» Exploring iterative and parallel human computation processes
Sort
View
CONCUR
2010
Springer
13 years 11 months ago
Termination in Impure Concurrent Languages
Abstract. An impure language is one that combines functional and imperative constructs. We propose a method for ensuring termination of impure concurrent languages that makes it po...
Romain Demangeon, Daniel Hirschkoff, Davide Sangio...
TOG
2012
230views Communications» more  TOG 2012»
12 years 17 days ago
Decoupling algorithms from schedules for easy optimization of image processing pipelines
Using existing programming tools, writing high-performance image processing code requires sacrificing readability, portability, and modularity. We argue that this is a consequenc...
Jonathan Ragan-Kelley, Andrew Adams, Sylvain Paris...
SIGMOD
2010
ACM
196views Database» more  SIGMOD 2010»
13 years 10 months ago
GAIA: graph classification using evolutionary computation
Discriminative subgraphs are widely used to define the feature space for graph classification in large graph databases. Several scalable approaches have been proposed to mine disc...
Ning Jin, Calvin Young, Wei Wang
ICPP
2003
IEEE
14 years 3 months ago
Tensor Product Formulation for Hilbert Space-Filling Curves
We present a tensor product formulation for Hilbert space-filling curves. Both recursive and iterative formulas are expressed in the paper. We view a Hilbert space-filling curve...
Shen-Yi Lin, Chih-Shen Chen, Li Liu, Chua-Huang Hu...
CLEF
2005
Springer
14 years 3 months ago
Pitt at CLEF05: Data Fusion for Spoken Document Retrieval
Abstract. This paper describes an investigation of data fusion techniques for spoken document retrieval. The effectiveness of retrievals solely based on the outputs from automatic...
Daqing He, Jae-wook Ahn