7978 search results - page 1320 / 1596 » Combining shared-coin algorithms |
150
click to vote
ATAL
2004
Springer
15 years 8 months ago
2004
Springer
We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The ...
161
click to vote
ANNPR
2006
Springer
15 years 8 months ago
2006
Springer
We present a multiclass classification system for gray value images through boosting. The feature selection is done using the LPBoost algorithm which selects suitable features of a...
122
Voted
ANTSW
2006
Springer
15 years 8 months ago
2006
Springer
Ant colony optimisation is a constructive metaheuristic that successively builds solutions from problem-specific components. A parameterised model known as pheromone--an analogue o...
121
Voted
CCGRID
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper describes an implementation of parallel LU factorization. The focus is to achieve high performance on non-dedicated clusters, where the number of available computing re...
135
click to vote
APWEB
2006
Springer
15 years 8 months ago
2006
Springer
Rapid increase in the number of pages on web sites, and widespread use of search engine optimization techniques, lead to web sites becoming difficult to navigate. Traditional site ...