Sciweavers

5019 search results - page 287 / 1004
» Computing in Quotient Groups
Sort
View
PDP
1995
IEEE
15 years 10 months ago
Iterated Runge-Kutta methods on distributed memory multiprocessors
We investigate the parallel implementation of the diagonal{implicitly iterated Runge{ Kutta (DIIRK) method, an iteration method based on a predictor{corrector scheme. This method ...
Thomas Rauber, Gudula Rünger
BIRTHDAY
2005
Springer
15 years 8 months ago
A Mobility Calculus with Local and Dependent Types
Abstract. We introduce an ambient-based calculus that combines ambient mobility with process mobility, uses group names to collect ambients with homologous features, and exploits c...
Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ci...
SAC
2008
ACM
15 years 6 months ago
Total order broadcast on pervasive systems
Total Order Broadcast protocols are important tools to ensure coherence across distributed systems. Contrarily to classical distributed systems, pervasive systems bring important ...
Luiz Angelo Steffenel, Manuele Kirsch-Pinheiro, Yo...
CVPR
2012
IEEE
13 years 9 months ago
Social roles in hierarchical models for human activity recognition
We present a hierarchical model for human activity recognition in entire multi-person scenes. Our model describes human behaviour at multiple levels of detail, ranging from low-le...
Tian Lan, Leonid Sigal, Greg Mori
CVPR
2012
IEEE
13 years 9 months ago
2D/3D rotation-invariant detection using equivariant filters and kernel weighted mapping
In many vision problems, rotation-invariant analysis is necessary or preferred. Popular solutions are mainly based on pose normalization or brute-force learning, neglecting the in...
Kun Liu, Qing Wang, Wolfgang Driever, Olaf Ronnebe...