4067 search results - page 519 / 814 » Programs for Applying Symmetries |
205
click to vote
FOSSACS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
173
click to vote
FOSSACS
2007
Springer
16 years 23 days ago
2007
Springer
We study the complexity of satisfiability for the expressive extension ICPDL of PDL (Propositional Dynamic Logic), which admits intersection and converse as program operations. Ou...
186
click to vote
GECCO
2007
Springer
16 years 23 days ago
2007
Springer
In this paper, we describe the use of a modern learning classifier system to a data mining task. In particular, in collaboration with a medical specialist, we apply XCS to a prima...
192
click to vote
GI
2007
Springer
16 years 23 days ago
2007
Springer
: In this article we advocate an integrated approach for the automation of module or software integration testing and static analysis. It is illustrated how funmethods of static an...
189
click to vote
ICCS
2007
Springer
16 years 23 days ago
2007
Springer
We seek to increase user confidence in simulations as they are adapted to meet new requirements. Our approach includes formal representation of uncertainty, lightweight validation,...