3971 search results - page 754 / 795 » On the Use of Properties in Java Applications |
142
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
The Second Harmonic Generation (SHG), a process that turns out to be a good test case in the physics lab, can also be considered as a fairly simple theoretical test function for g...
138
click to vote
IESS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract: The time-triggered System-on-a-Chip (SoC) architecture provides a generic multicore system platform for a family of composable and dependable giga-scale SoCs. It supports...
154
click to vote
LION
2007
Springer
15 years 10 months ago
2007
Springer
This paper is about Reinforcement Learning (RL) applied to online parameter tuning in Stochastic Local Search (SLS) methods. In particular a novel application of RL is considered i...
118
click to vote
VMCAI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
157
Voted
SMI
2006
IEEE
15 years 10 months ago
2006
IEEE
Databases of 3D shapes have become widespread for a variety of applications, and a key research problem is searching these databases for similar shapes. This paper introduces a me...