Sciweavers

1942 search results - page 115 / 389
» Speeding Up XTR
Sort
View
SPIN
2007
Springer
16 years 15 days ago
Scalable Multi-core LTL Model-Checking
Recent development in computer hardware has brought more wide-spread emergence of shared-memory, multi-core systems. These architectures offer opportunities to speed up various ta...
Jiri Barnat, Lubos Brim, Petr Rockai
XPU
2007
Springer
16 years 15 days ago
A Case Study of the Implementation of Agile Methods in a Bioinformatics Project
From July 2005 to August 2006, a bioinformatics project experienced a substantial transformation by adopting Scrum and some XP practices. The paper reveals project risks, previous ...
Xueling Shu, Andrei L. Turinsky, Christoph W. Sens...
ICMCS
2006
IEEE
310views Multimedia» more  ICMCS 2006»
16 years 13 days ago
An Optimal and Statistically Robust Correlation Technique for Block Based Motion Estimation
In this paper we propose an optimal and robust correlation technique for the local motion estimation purposes. It is based on the maximization of a statistical robust matching fun...
Fedwa Essannouni, Rachid Oulad Haj Thami, Ahmed Sa...
ICRA
2006
IEEE
149views Robotics» more  ICRA 2006»
16 years 13 days ago
Ball Control in High-speed Batting Motion using Hybrid Trajectory Generator
Abstract— Speeding up robot motion provides not only improvement in operating efficiency but also improves dexterous manipulation by taking advantage of an unstable state or non...
Taku Senoo, Akio Namiki, Masatoshi Ishikawa
ICRA
2006
IEEE
136views Robotics» more  ICRA 2006»
16 years 13 days ago
A Bipedal Running Robot with one Actuator per Leg
- This paper presents experiments with a new, three-dimensional bipedal running behaviour for our Robotic Hexapod, RHex. The robot and the bipedal gait are underactuated, using onl...
Neil Neville, Martin Buehler, Inna Sharf