Sciweavers

12289 search results - page 556 / 2458
» computing 2006
Sort
View
PPL
2007
126views more  PPL 2007»
15 years 6 months ago
Challenges in Parallel Graph Processing
Graph algorithms are becoming increasingly important for solving many problems in scientific computing, data mining and other domains. As these problems grow in scale, parallel c...
Andrew Lumsdaine, Douglas Gregor, Bruce Hendrickso...
PUC
2008
117views more  PUC 2008»
15 years 6 months ago
The disenchantment of affect
: In computing design, experience is often broken down, compartmentalized, and engineered: a process that often disenchants the original experience. In this paper, we demonstrate t...
Phoebe Sengers, Kirsten Boehner, Michael Mateas, G...
JAPLL
2010
131views more  JAPLL 2010»
15 years 5 months ago
Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA
The previously introduced algorithm SQEMA computes first-order frame equivalents for modal formulae and also proves their canonicity. Here we extend SQEMA with an additional rule...
Willem Conradie, Valentin Goranko, Dimiter Vakarel...
JEI
2010
83views more  JEI 2010»
15 years 5 months ago
New image-quality measure based on wavelets
Abstract. We present an innovative approach to the objective quality evaluation that could be computed using the mean difference between the original and tested images in different...
Emil Dumic, Sonja Grgic, Mislav Grgic
JVCA
2010
94views more  JVCA 2010»
15 years 5 months ago
A hybrid approach for simulating human motion in constrained environments
We present a new algorithm to generate plausible motions for high-DOF human-like articulated figures in constrained environments with multiple obstacles. Our approach is general ...
Jia Pan, Liangjun Zhang, Ming C. Lin, Dinesh Manoc...