Sciweavers

4926 search results - page 673 / 986
» Two Graph Algorithms On an Associative Computing Model
Sort
View
CGF
2004
138views more  CGF 2004»
13 years 8 months ago
Fast Hybrid Approach for Texturing Point Models
We present three methods for texturing point models from sample textures. The first method, the point parameterization method, uses a fast distortion-bounded parameterization algo...
Haitao Zhang, Feng Qiu, Arie E. Kaufman
TSE
2010
123views more  TSE 2010»
13 years 3 months ago
Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
Husain Aljazzar, Stefan Leue
HUC
2007
Springer
14 years 2 months ago
Tracking Free-Weight Exercises
Weight training, in addition to aerobic exercises, is an important component of a balanced exercise program. However, mechanisms for tracking free weight exercises have not yet bee...
Keng-hao Chang, Mike Y. Chen, John Canny
SIAMIS
2010
141views more  SIAMIS 2010»
13 years 3 months ago
Optimization by Stochastic Continuation
Simulated annealing (SA) and deterministic continuation are well-known generic approaches to global optimization. Deterministic continuation is computationally attractive but produ...
Marc C. Robini, Isabelle E. Magnin
ICRA
2005
IEEE
150views Robotics» more  ICRA 2005»
14 years 2 months ago
An Integrated Spatial Path-planning and Controller Design Approach for a Hover-mode Helicopter Model
— The objective of this paper is to design a controller based on a nonlinear hover-mode model for a helicopter, which can be seamlessly integrated in an existing spatial path-pla...
Kaustubh Pathak, Sunil Kumar Agrawal