279 search results - page 49 / 56 » Testing for Refinement in CSP |
SIGSOFT
2005
ACM
15 years 10 months ago
2005
ACM
We develop a method for matching dynamic histories of program executions of two program versions. The matches produced can be useful in many applications including software piracy...
86
Voted
KDD
2001
ACM
15 years 10 months ago
2001
ACM
Given a dataset, each element of which labeled by one of k labels, we construct by a very fast algorithm, a k-category proximal support vector machine (PSVM) classifier. Proximal s...
80
Voted
ICRA
2005
IEEE
15 years 3 months ago
2005
IEEE
– Typical robot development requires that hardware be mostly functional before significant software development begins. Utilizing virtual prototype of hardware and its environmen...
AISB
1994
Springer
15 years 1 months ago
1994
Springer
Abstract. A formal, representation-independent form of a memetic algorithm-a genetic algorithm incorporating local search--is introduced. A generalisedform of N-point crossover is ...
GECCO
2008
Springer
14 years 10 months ago
2008
Springer
A genetic algorithm (GA) was developed to implement a maximum variation sampling technique to derive a subset of data from a large dataset of unstructured mammography reports. It ...