Sciweavers

1003 search results - page 124 / 201
» How to Parallelize Sequential Processes
Sort
View
CORR
2011
Springer
142views Education» more  CORR 2011»
13 years 22 days ago
Taming Numbers and Durations in the Model Checking Integrated Planning System
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
Stefan Edelkamp
ICIP
2002
IEEE
14 years 10 months ago
Image registration in multispectral data sets
The paper discusses the matching of two multispectral data sets using the Genetic Algorithm (GA) as a search technique for the global optimum estimates of the transformation param...
Aly A. Farag, Hani Mahdi
SIGMOD
2007
ACM
196views Database» more  SIGMOD 2007»
14 years 9 months ago
GPUQP: query co-processing using graphics processors
We present GPUQP, a relational query engine that employs both CPUs and GPUs (Graphics Processing Units) for in-memory query co-processing. GPUs are commodity processors traditiona...
Rui Fang, Bingsheng He, Mian Lu, Ke Yang, Naga K. ...
SIGMOD
2007
ACM
150views Database» more  SIGMOD 2007»
14 years 9 months ago
Exploiting self-monitoring sample views for cardinality estimation
Good cardinality estimates are critical for generating good execution plans during query optimization. Complex predicates, correlations between columns, and user-defined functions...
Jingren Zhou, Per-Åke Larson, Peter Zabback,...
ROMAN
2007
IEEE
111views Robotics» more  ROMAN 2007»
14 years 3 months ago
Understanding Rules in Human-Robot Instructions
— This paper presents an overview of the systematic creation of a human-robot instruction system from a multi-modal corpus. The corpus has been collected from human-to-human card...
Joerg C. Wolf, Guido Bugmann