2922 search results - page 263 / 585 » Scalable Algorithms for Distribution Search |
127
click to vote
STTT
2010
15 years 3 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
116
click to vote
PODS
2010
ACM
15 years 9 months ago
2010
ACM
It is well known that a search engine can significantly benefit from an auxiliary database, which can suggest interpretations of the search query by means of the involved concep...
126
Voted
JSAT
2008
15 years 4 months ago
2008
We propose a new switching criterion, namely the evenness or unevenness of the distribution of variable weights, and use this criterion to combine intensification and diversificat...
131
click to vote
CEC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— This paper proposes an multi-objective evolutionary algorithm. The algorithm is based on OMOEA-II[2]. A new linear breeding operator with lower-dimensional crossover an...
133
click to vote
CASCON
1996
15 years 6 months ago
1996
Object search is the task of eciently searching for a given 3D object in a given 3D environment by an agent equipped with a camera for target detection and, if the environment con...