Sciweavers

709 search results - page 46 / 142
» coordination 2010
Sort
View
COMPSYSTECH
2010
15 years 6 months ago
An experiment with using Google tools for project supervision at tertiary education
: Problem oriented project pedagogy is an alternative educational approach which often provides a strong natural motivation for the students' work. On the other hand, it requi...
Jirí Srba
CAV
2010
Springer
185views Hardware» more  CAV 2010»
15 years 6 months ago
Achieving Distributed Control through Model Checking
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
Susanne Graf, Doron Peled, Sophie Quinton
MIG
2010
Springer
15 years 4 months ago
Full-Body Hybrid Motor Control for Reaching
Abstract. In this paper, we present a full-body motor control mechanism that generates coordinated and diverse motion during a reaching action. Our framework animates the full huma...
Wenjia Huang, Mubbasir Kapadia, Demetri Terzopoulo...
PKDD
2010
Springer
160views Data Mining» more  PKDD 2010»
15 years 4 months ago
Sparse Unsupervised Dimensionality Reduction Algorithms
Abstract. Principal component analysis (PCA) and its dual—principal coordinate analysis (PCO)—are widely applied to unsupervised dimensionality reduction. In this paper, we sho...
Wenjun Dou, Guang Dai, Congfu Xu, Zhihua Zhang
146
Voted
SEKE
2010
Springer
15 years 4 months ago
Distributed and Adaptive Execution of Condor DAGMan Workflows
— Large-scale applications, in the form of workflows, may require the coordinated usage of resources spreading across multiple administrative domains. Scalable solutions need a d...
Selim Kalayci, Gargi Dasgupta, Liana Fong, Onyeka ...