Sciweavers

7715 search results - page 140 / 1543
» Visual Rules Modeling
Sort
View
ICONIP
2007
14 years 11 months ago
Interpretable Piecewise Linear Classifier
In this study we propose a new ensemble model composed of several linear perceptrons. The objective of this study is to build a piecewise-linear classifier that is not only compet...
Pitoyo Hartono
ENTCS
2008
85views more  ENTCS 2008»
14 years 10 months ago
Innermost Termination of Rewrite Systems by Labeling
Semantic labeling is a powerful transformation technique for proving termination of term rewrite systems. The semantic part is given by a model or a quasi-model of the rewrite rul...
René Thiemann, Aart Middeldorp
JAR
2007
77views more  JAR 2007»
14 years 10 months ago
Superposition-based Equality Handling for Analytic Tableaux
We present a variant of the basic ordered superposition rules to handle equality in an analytic free-variable tableau calculus. We prove completeness of this calculus by an adaptat...
Martin Giese
85
Voted
JCP
2008
127views more  JCP 2008»
14 years 10 months ago
Model-Free Uncalibrated Visual Servoing Using Recursive Least Squares
In this paper, a model free uncalibrated visual servoing algorithm based on recursive least squares is proposed and discussed in depth. No robot kinetics or dynamics, camera calibr...
Miao Hao, Peter Deuflhard, Zengqi Sun, Masakazu Fu...
ICCS
2009
Springer
15 years 4 months ago
Default Conceptual Graph Rules: Preliminary Results for an Agronomy Application
Abstract. In this paper, we extend Simple Conceptual Graphs with Reiter’s default rules. The motivation for this extension came from the type of reasonings involved in an agronom...
Jean-François Baget, Madalina Croitoru, J&e...