476 search results - page 31 / 96 » Representation dependence testing using program inversion |
137
click to vote
ASC
2010
15 years 18 days ago
2010
Grammatical evolution (GE) is a form of grammar-based genetic programming. A particular feature of GE is that it adopts a distinction between the genotype and phenotype similar to...
151
Voted
DATAMINE
2006
15 years 15 days ago
2006
Clipping is the process of transforming a real valued series into a sequence of bits representing whether each data is above or below the average. In this paper, we argue that clip...
93
Voted
TSMC
1998
15 years 3 days ago
1998
—Knowledge representation is one of important factors that determine human performance on cognitive tasks. Due to different levels of experience, different groups of people may d...
103
Voted
TOPLAS
2002
15 years 3 days ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...
110
Voted
EUROSYS
2006
ACM
15 years 9 months ago
2006
ACM
Run-time conflicts can affect even the most rigorously tested software systems. A reliance on execution-based testing makes it prohibitively costly to test every possible interac...