Sciweavers

248 search results - page 40 / 50
» An error model for pointing based on Fitts' law
Sort
View
SMA
2003
ACM
163views Solid Modeling» more  SMA 2003»
14 years 27 days ago
Fast swept volume approximation of complex polyhedral models
We present an efficient algorithm to approximate the swept volume (SV) of a complex polyhedron along a given trajectory. Given the boundary description of the polyhedron and a pat...
Young J. Kim, Gokul Varadhan, Ming C. Lin, Dinesh ...
MVA
2007
211views Computer Vision» more  MVA 2007»
13 years 9 months ago
Shadow Elimination in Traffic Video Segmentation
Shadow detection is critical for robust and reliable vision-based systems for traffic vision analysis. Shadow points are often misclassified as object points causing errors in loc...
Hong Liu, Jintao Li, Qun Liu, Yueliang Qian
INFORMATICALT
2007
123views more  INFORMATICALT 2007»
13 years 7 months ago
Design and Implementation of Parallel Counterpropagation Networks Using MPI
The objective of this research is to construct parallel models that simulate the behavior of artificial neural networks. The type of network that is simulated in this project is t...
Athanasios Margaris, Stavros Souravlas, Efthimios ...
IROS
2006
IEEE
113views Robotics» more  IROS 2006»
14 years 1 months ago
A Hybrid Approach to Practical Self Collision Detection System of Humanoid Robot
— Online self collision detection system for humanoid robots is an essentially important function for developing sensor based behaviors without worrying about breaking hardware. ...
Kei Okada, Masayuki Inaba
FMICS
2006
Springer
13 years 11 months ago
SAT-Based Verification of LTL Formulas
Abstract. Bounded model checking (BMC) based on satisfiability testing (SAT) has been introduced as a complementary technique to BDDbased symbolic model checking of LTL properties ...
Wenhui Zhang