Sciweavers

5898 search results - page 1012 / 1180
» Parallel Computing Environments and Methods
Sort
View
ICRA
2008
IEEE
206views Robotics» more  ICRA 2008»
15 years 9 months ago
Memory-based learning for visual odometry
Abstract— We present and examine a technique for estimating the ego-motion of a mobile robot using memory-based learning and a monocular camera. Unlike other approaches that rely...
Richard Roberts, Hai Nguyen, Niyant Krishnamurthi,...
ECCV
2002
Springer
16 years 5 months ago
Linear Multi View Reconstruction with Missing Data
General multi view reconstruction from affine or projective cameras has so far been solved most efficiently using methods of factorizing image data matrices into camera and scene p...
Carsten Rother, Stefan Carlsson
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
15 years 1 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
ICS
2007
Tsinghua U.
15 years 9 months ago
A study of process arrival patterns for MPI collective operations
Process arrival pattern, which denotes the timing when different processes arrive at an MPI collective operation, can have a significant impact on the performance of the operatio...
Ahmad Faraj, Pitch Patarasuk, Xin Yuan
CCGRID
2006
IEEE
15 years 9 months ago
Component-Based Modeling, Analysis and Animation
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
Jeff Kramer
« Prev « First page 1012 / 1180 Last » Next »