Sciweavers

16159 search results - page 3015 / 3232
» Parallel computing with CUDA
Sort
View
WACV
2005
IEEE
15 years 7 months ago
Combining View-Based and Model-Based Tracking of Articulated Human Movements
Many existing systems for human body tracking are based on dynamic model-based tracking that is driven by local image features. Alternatively, within a view-based approach, tracki...
Cristóbal Curio, Martin A. Giese
121
Voted
ATAL
2005
Springer
15 years 7 months ago
A distributed framework for solving the Multiagent Plan Coordination Problem
We examine whether and how the Multiagent Plan Coordination Problem, the problem of resolving interactions between the plans of multiple agents, can be cast as a Distributed Const...
Jeffrey S. Cox, Edmund H. Durfee, Thomas Bartold
105
Voted
CONCUR
2005
Springer
15 years 7 months ago
Games Where You Can Play Optimally Without Any Memory
Abstract. Reactive systems are often modelled as two person antagonistic games where one player represents the system while his adversary represents the environment. Undoubtedly, t...
Hugo Gimbert, Wieslaw Zielonka
CSL
2005
Springer
15 years 7 months ago
Feasible Proofs of Matrix Properties with Csanky's Algorithm
We show that Csanky’s fast parallel algorithm for computing the characteristic polynomial of a matrix can be formalized in the logical theory LAP, and can be proved correct in LA...
Michael Soltys
116
Voted
DCOSS
2005
Springer
15 years 7 months ago
Using Clustering Information for Sensor Network Localization
Sensor network localization continues to be an important research challenge. The goal of localization is to assign geographic coordinates to each node in the sensor network. Locali...
Haowen Chan, Mark Luk, Adrian Perrig
« Prev « First page 3015 / 3232 Last » Next »