Sciweavers

4099 search results - page 656 / 820
» First Class Patterns
Sort
View
JANCL
2008
170views more  JANCL 2008»
15 years 6 months ago
Algorithmic correspondence and completeness in modal logic
ABSTRACT. In [CON 06b] we introduced the algorithm SQEMA for computing first-order equivalents and proving canonicity of modal formulae, and thus established a very general corresp...
Willem Conradie, Valentin Goranko
IJON
2006
132views more  IJON 2006»
15 years 6 months ago
A binary neural decision table classifier
In this paper, we introduce a neural network -based decision table algorithm. We focus on the implementation details of the decision table algorithm when it is constructed using t...
Victoria J. Hodge, Simon O'Keefe, Jim Austin
IJRR
2006
89views more  IJRR 2006»
15 years 6 months ago
Time-optimal Trajectories for an Omni-directional Vehicle
A common mobile robot design consists of three `omniwheels' arranged at the vertices of an equilateral triangle, with wheel axles aligned with the rays from the center of the...
Devin J. Balkcom, Paritosh A. Kavathekar, Matthew ...
JCIT
2008
117views more  JCIT 2008»
15 years 6 months ago
The New Face Recognition Technique With the use of PCA and LDA
Image recognition using various image classifiers is an active research area. In this paper we will describe a new face recognition method based on PCA (Principal Component Analys...
Seyed Zeinolabedin Moussavi, Saeedreza Ehteram, Al...
JAPLL
2006
112views more  JAPLL 2006»
15 years 6 months ago
Intuitionistic hybrid logic
Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first const...
Torben Braüner, Valeria de Paiva