Sciweavers

2381 search results - page 183 / 477
» On Ordering Descriptions in a Description Logic
Sort
View
CAI
2007
Springer
15 years 8 months ago
Sturmian and Episturmian Words
Abstract. This survey paper contains a description of some recent results concerning Sturmian and episturmian words, with particular emphasis on central words. We list fourteen cha...
Jean Berstel
FDL
2005
IEEE
15 years 7 months ago
Hardware Synthesis of Parallel Machines from SystemC
Heterogeneous system specifications implicitly assume parallel execution of their components that rely on supporting platform architectures and operating systems. Unfortunately, c...
Antoni Portero, Lluis Ribas, Jordi Carrabina
KDD
1994
ACM
140views Data Mining» more  KDD 1994»
15 years 6 months ago
A Comparison of Pruning Methods for Relational Concept Learning
Pre-Pruning and Post-Pruning are two standard methods of dealing with noise in concept learning. Pre-Pruning methods are very efficient, while Post-Pruning methods typically are m...
Johannes Fürnkranz
AICOM
2010
129views more  AICOM 2010»
15 years 2 months ago
Automated theorem proving in quasigroup and loop theory
We survey all known results in the area of quasigroup and loop theory to have been obtained with the assistance of automated theorem provers. We provide both informal and formal d...
J. D. Phillips, David Stanovský
NN
2006
Springer
15 years 1 months ago
SOM's mathematics
- Since the discovery of the SOMs by T. Kohonen, many results have been found in order to get a better description of their behaviour. Most of them are very convincing but from a m...
Jean-Claude Fort