Sciweavers

2905 search results - page 159 / 581
» Formal Memetic Algorithms
Sort
View
ACISICIS
2009
IEEE
14 years 1 months ago
Temporal Pattern Recognition in Video Clips Detection
Temporal representation and reasoning plays an important role in Data Mining and Knowledge Discovery, particularly, in mining and recognizing patterns with rich temporal informati...
Aihua Zheng, Jixin Ma, Bin Luo, Miltos Petridis, S...
FORTE
2008
13 years 11 months ago
Model Generation for Horn Logic with Stratified Negation
Abstract. Model generation is an important formal technique for finding interesting instances of computationally hard problems. In this paper we study model generation over Horn lo...
Ethan K. Jackson, Wolfram Schulte
CLA
2004
13 years 11 months ago
Fast Factorization of Concept Lattices by Similarity: Solution and an Open Problem
An important problem in applications of formal concept analysis is a possibly large number of clusters extracted from data. Factorization is one of the methods being used to cope w...
Radim Belohlávek, Jiri Dvorak, Jan Outrata
EACL
1993
ACL Anthology
13 years 11 months ago
Disjunctions and Inheritance in the Context Feature Structure System
Substantial efforts have been made in order to cope with disjunctions in constraint based grammar formalisms (e.g. [Kasper, 1987; Maxwell and Kaplan, 1991; DSrre and Eisele, 1990]...
Martin Böttcher
CORR
2010
Springer
114views Education» more  CORR 2010»
13 years 9 months ago
On weakly optimal partitions in modular networks
Abstract. Modularity was introduced as a measure of goodness for the community structure induced by a partition of the set of vertices in a graph. Then, it also became an objective...
José Ignacio Alvarez-Hamelin, Beiró ...