Higher-order logic formalization of conformal geometric algebra and its application in verifying a robotic manipulation algorithm

S Ma, Z Shi, Z Shao, Y Guan, L Li, Y Li - Advances in Applied Clifford …, 2016 - Springer
Conformal geometric algebra (CGA) is an advanced geometric language used in solving
three-dimensional Euclidean geometric problems due to its simple, compact and coordinate …

[HTML][HTML] Human action recognition method based on conformal geometric algebra and recurrent neural network

NNH Van, PM Tuan, PC Thang… - Информационно …, 2020 - cyberleninka.ru
Introduction: Deep Learning plays an important role in machine learning and artificial
intelligence. It is widely applied in many fields with high dimensional data, including natural …

[PDF][PDF] 几何代数的高阶逻辑形式化

马莎, 施智平, 李黎明, 关永, 张杰 - 软件学报, 2016 - jos.org.cn
几何代数是一种用于描述和计算几何问题的代数语言, 由于它统一表达分析和不依赖于坐标的
几何计算等优点, 现已成为数学分析, 理论物理, 几何学, 工程应用等领域重要的理论基础和计算 …

3d road boundary detection using conformal geometric algebra

H Ishida, J Meguro, Y Kojima, T Naito - Information and Media …, 2013 - jstage.jst.go.jp
This paper presents a novel method for detecting 3D road boundaries, such as walls,
guardrails, and curbs, using on-board stereo cameras. The proposed method uses …

[PDF][PDF] LSTM FOR HUMAN ACTIVITY RECOGNITION BASED ON FEATURE EXTRACTION METHOD USING CONFORMAL GEOMETRIC ALGEBRA

NNH Van, PM Tuan, KT Do Phuc Hao - vap.ac.vn
Deep Learning (DL) is a new research trend in recent years for many applications, such as
image processing, object detection, and remote control. DL has two main models …

Formalization of Geometric Algebra Theories in Higher-Order Logic

马莎, 施智平, 李黎明, 关永, 张杰 - Journal of Software, 2016 - jos.org.cn
几何代数是一种用于描述和计算几何问题的代数语言, 由于它统一表达分析和不依赖于坐标的
几何计算等优点, 现已成为数学分析, 理论物理, 几何学, 工程应用等领域重要的理论基础和计算 …

An Algorithm for Fuzzy Clustering Based on Conformal Geometric Algebra

MT Pham, K Tachibana - … and Systems Engineering: Proceedings of the …, 2013 - Springer
Geometric algebra (GA) is a generalization of complex numbers and quaternions. It is able
to describe spatial objects and the geometric relations between them. ConformalGA (CGA) …

Rotation Recognition Based on Hidden Markov Model and Conformal Geometric Algebra

NNH Vân, PM Tuấn, T Kanta - Tạp chí Khoa học và Công nghệ-Đại học Đà …, 2014 - jst-ud.vn
Nowadays, many researchers have developed mathematical tools of Geometric Algebrato
representing objects in the 3D space accurately and effectively. So GA can be applied to the …

クリフォードニューロコンピューティングとパターン認識

橘完太 - 計測と制御, 2012 - jstage.jst.go.jp
パターン認識で多用されるニューロコンピューティングの用途をさらに広げるため,
入出力変数や重み係数 (モデルのパラメータ) を複素数や四元数に拡張する研究がなされている …

Conformal Geometric Algebra を用いたパターン認識手法に関する検討

鈴木直人, 吉川大弘, 古橋武 - 日本知能情報ファジィ学会ファジィ …, 2012 - jstage.jst.go.jp
抄録 近年, 工学の分野では, パターン認識によるデータ判別技術がより重要になってきている.
例えば, 最近のデジタルカメラには, 人間の鼻や口といった特徴的な形状から …