Sciweavers

16513 search results - page 414 / 3303
» Numerical Analysis Methods
Sort
View
178
Voted
TFS
2008
131views more  TFS 2008»
15 years 6 months ago
A Fuzzy Qualitative Framework for Connecting Robot Qualitative and Quantitative Representations
Abstract-- This paper proposes a novel framework for describing articulated robot kinematics motion with the goal of providing a unified representation by combining symbolic or qua...
Honghai Liu
ICRA
2007
IEEE
132views Robotics» more  ICRA 2007»
16 years 1 months ago
Heterogeneous Leg Stiffness and Roll in Dynamic Running
— Legged robots are by nature strongly non-linear, high-dimensional systems whose full complexity permits neither tractable mathematical analysis nor comprehensive numerical stud...
Samuel Burden, Jonathan Clark, Joel Weingarten, Ha...
KDD
2005
ACM
160views Data Mining» more  KDD 2005»
16 years 7 months ago
Optimizing time series discretization for knowledge discovery
Knowledge Discovery in time series usually requires symbolic time series. Many discretization methods that convert numeric time series to symbolic time series ignore the temporal ...
Alfred Ultsch, Fabian Mörchen
ICPR
2004
IEEE
16 years 7 months ago
Levels of Detail Control Based on Correlation Analysis Between Surface Position and Direction
This paper presents a new LOD control method using surface smoothness measure based on correlation analysis between surface position and direction. This control method renders smo...
Tokuo Tsuji, Hongbin Zha, Tsutomu Hasegawa, Ryo Ku...
SAS
1993
Springer
126views Formal Methods» more  SAS 1993»
15 years 11 months ago
Finiteness Conditions for Strictness Analysis
We give upper bounds on the number of times the fixed point operator needs to be unfolded for strictness analysis of functional languages with lists. This extends previous work b...
Flemming Nielson, Hanne Riis Nielson