11455 search results - page 2113 / 2291 » The Rayset and Its Applications |
169
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
164
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Spreadsheets have grown up and became very powerful and easy to use tools in applying analytical techniques for solving business problems. Operations managers, production managers...
161
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Needs of multimedia systems evolved due to the evolution of their architecture which is now distributed into heterogeneous contexts. A critical issue lies in the fact that they ha...
185
click to vote
CSL
2008
Springer
15 years 6 months ago
2008
Springer
Active learning (AL) is a framework that attempts to reduce the cost of annotating training material for statistical learning methods. While a lot of papers have been presented on...
152
click to vote
EC
2010
15 years 6 months ago
2010
Perhaps the biggest limitation of interactive EC is the fitness evaluation bottleneck, caused by slow user evaluation and leading to small populations and user fatigue. In this st...