2539 search results - page 253 / 508 » Debugging Method Names |
118
click to vote
CAV
2003
Springer
15 years 8 months ago
2003
Springer
Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring howev...
139
Voted
GECCO
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. This paper investigates the sample weighting effect on Genetic Parallel Programming (GPP) that evolves parallel programs to solve the training samples captured directly f...
130
click to vote
ICANN
2003
Springer
15 years 8 months ago
2003
Springer
We propose a simple method to map a generic threshold model, namely the Spike Response Model, to artificial data of neuronal activity using a minimal amount of a priori informatio...
105
Voted
ICCS
2003
Springer
15 years 8 months ago
2003
Springer
Because botanical taxonomies are prototypical classifications it would seem that it should be easy to formalize them as concept lattices or type hierarchies. On closer inspection,...
115
click to vote
IFL
2003
Springer
15 years 8 months ago
2003
Springer
Construction of complex array operations by composition of more basic ones allows for abstract and concise specifications of algorithms. Unfortunately, na¨ıve compilation of suc...