3971 search results - page 754 / 795 » On the Use of Properties in Java Applications |
168
click to vote
GECCO
2007
Springer
16 years 5 days 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...
159
click to vote
IESS
2007
Springer
16 years 4 days 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...
180
click to vote
LION
2007
Springer
16 years 4 days 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...
143
click to vote
VMCAI
2007
Springer
16 years 3 days 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...
181
click to vote
SMI
2006
IEEE
16 years 9 hour 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...