Sciweavers

1071 search results - page 28 / 215
» Programming with enumerable sets of structures
Sort
View
AISC
2004
Springer
14 years 4 months ago
Solving Equations Involving Sequence Variables and Sequence Functions
Term equations involving individual and sequence variables and sequence function symbols are studied. Function symbols can have either fixed or flexible arity. A sequence variabl...
Temur Kutsia
SP
1999
IEEE
194views Security Privacy» more  SP 1999»
14 years 3 months ago
Detecting Intrusions using System Calls: Alternative Data Models
Intrusion detection systems rely on a wide variety of observable data to distinguish between legitimate and illegitimate activities. In this paper we study one such observable-seq...
Christina Warrender, Stephanie Forrest, Barak A. P...
ICCS
2005
Springer
14 years 4 months ago
Evolutionary Discovery of Arbitrary Self-replicating Structures
In this paper we describe our recent use of genetic programming methods to automatically discover CA rule sets that produce self-replication of arbitrary given structures. Our init...
Zhijian Pan, James A. Reggia
SIAMJO
2008
85views more  SIAMJO 2008»
13 years 11 months ago
Explicit Reformulations for Robust Optimization Problems with General Uncertainty Sets
We consider a rather general class of mathematical programming problems with data uncertainty, where the uncertainty set is represented by a system of convex inequalities. We prove...
Igor Averbakh, Yun-Bin Zhao
GECCO
2005
Springer
132views Optimization» more  GECCO 2005»
14 years 4 months ago
Evolutionary testing of state-based programs
The application of Evolutionary Algorithms to structural test data generation, known as Evolutionary Testing, has to date largely focused on programs with input-output behavior. H...
Phil McMinn, Mike Holcombe