2000 search results - page 294 / 400 » Program Transformation and Proof Transformation |
146
click to vote
CEC
2010
IEEE
15 years 4 months ago
2010
IEEE
We propose an evolutionary method for detection of vehicles in satellite imagery which involves a large number of simple elementary features and multiple detectors trained by genet...
118
Voted
FSTTCS
2008
Springer
15 years 4 months ago
2008
Springer
ABSTRACT. Formalisms involving some degree of nondeterminism are frequent in computer science. In particular, various programming or specification languages are based on term rewr...
133
Voted
ENTCS
2007
15 years 3 months ago
2007
As a first step toward a notion of quantum data structures, we introduce a typing system for reflecting entanglement and separability. This is presented in the context of classi...
105
Voted
VIROLOGY
2008
15 years 3 months ago
2008
A malware mutation engine is able to transform a malicious program to create a different version of the program. Such mutation engines are used at distribution sites or in self-pro...
135
Voted
PC
1998
15 years 3 months ago
1998
The difficulty of handling out-of-core data limits the performance of supercomputers as well as the potential of the parallel machines. Since writing an efficient out-of-core ve...