Sciweavers

2887 search results - page 484 / 578
» Name Generation and Linearity
Sort
View
EC
2007
145views ECommerce» more  EC 2007»
15 years 6 months ago
Covariant Genetic Dynamics
We present a covariant form for the dynamics of a canonical GA of arbitrary cardinality, showing how each genetic operator can be uniquely represented by a mathematical object - a...
Chryssomalis Chryssomalakos, Christopher R. Stephe...
JIIS
2006
147views more  JIIS 2006»
15 years 6 months ago
Mining sequential patterns from data streams: a centroid approach
In recent years, emerging applications introduced new constraints for data mining methods. These constraints are typical of a new kind of data: the data streams. In data stream pro...
Alice Marascu, Florent Masseglia
EJC
2007
15 years 6 months ago
An integrality theorem of root systems
Let Φ be an irreducible root system and ∆ be a base for Φ; it is well known that any root in Φ is an integral combination of the roots in ∆. In comparison to this fact, we ...
A. Bhattacharya, G. R. Vijayakumar
ENTCS
2007
141views more  ENTCS 2007»
15 years 6 months ago
Compressing BMC Encodings with QBF
Symbolic model checking is PSPACE complete. Since QBF is the standard PSPACE complete problem, it is most natural to encode symbolic model checking problems as QBF formulas and th...
Toni Jussila, Armin Biere
PR
2006
99views more  PR 2006»
15 years 6 months ago
Authenticating corrupted photo images based on noise parameter estimation
Photo image authentication is an interesting and demanding field in the computer vision and image processing community. This research is motivated by its wide range of application...
Sang-Woong Lee, Ho-Choul Jung, Bon-Woo Hwang, Seon...