2989 search results - page 270 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
181
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
Active learning methods have been considered with an increased interest in the content-based image retrieval (CBIR) community. Those methods used to be based on classical classifi...
179
Voted
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Concurrent reachability games is a class of games heavily studied by the computer science community, in particular by the formal methods community. Two standard algorithms for app...
181
click to vote
WSC
2007
15 years 8 months ago
2007
Developing and analyzing schedules is essential for successfully controlling the time aspect of construction projects. The critical path method of scheduling is by far the most wi...
166
click to vote
ITICSE
1997
ACM
15 years 10 months ago
1997
ACM
The field of Genetic Algorithms has grown into a huge area over the last few years. Genetic Algorithms are adaptive methods, which can be used to solve search and optimisation pro...
150
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
Our paper concerns optimal combinations of different types of reinsurance contracts. We introduce a novel approach based on the Mean-Variance-Criterion to solve this task. Two sta...