Sciweavers

4074 search results - page 89 / 815
» Defining Computational Aesthetics
Sort
View
DRR
2009
13 years 7 months ago
Online computation of similarity between handwritten characters
We are interested in the problem of curve identification, motivated by problems in handwriting recognition. Various geometric approaches have been proposed, with one of the most p...
Oleg Golubitsky, Stephen M. Watt
CAISE
2005
Springer
14 years 3 months ago
Computing the Relevant Instances That May Violate an OCL Constraint
Integrity checking is aimed at efficiently determining whether the state of the information base is consistent after the application of a set of structural events. One possible way...
Jordi Cabot, Ernest Teniente
IJCNN
2000
IEEE
14 years 2 months ago
Computational Intelligence in Adaptive Educational Hypermedia
In this paper neuro-fuzzy synergism is applied to implement content sequencing in adaptive hypermedia systems. The level of understanding of the learner is used to construct lesson...
Kyparisia A. Papanikolaou, George D. Magoulas, Mar...
CADE
1990
Springer
14 years 2 months ago
A Theorem Prover for a Computational Logic
We briefly review a mechanical theorem-prover for a logic of recursive functions over finitely generated objects including the integers, ordered pairs, and symbols. The prover, kn...
Robert S. Boyer, J. Strother Moore
CPM
2007
Springer
134views Combinatorics» more  CPM 2007»
14 years 2 months ago
Efficient Computation of Substring Equivalence Classes with Suffix Arrays
This paper considers enumeration of substring equivalence classes introduced by Blumer et al. [1]. They used the equivalence classes to define an index structure called compact dir...
Kazuyuki Narisawa, Shunsuke Inenaga, Hideo Bannai,...