3082 search results - page 574 / 617 » Deviation Analysis: A New Use of Model Checking |
SIGIR
2004
ACM
15 years 5 months ago
2004
ACM
Document clustering has long been an important problem in information retrieval. In this paper, we present a new clustering algorithm ASI1, which uses explicitly modeling of the s...
IBPRIA
2003
Springer
15 years 5 months ago
2003
Springer
In this paper we present a method for the regularization of 3D cylindrical surfaces. By a cylindrical surface we mean a 3D surface that can be expressed as an application S(l, θ) ...
102
click to vote
IPPS
1998
IEEE
15 years 4 months ago
1998
IEEE
Predicting the running time of a parallel program is useful for determining the optimal values for the parameters of the implementation and the optimal mapping of data on processo...
108
click to vote
CEC
2007
IEEE
15 years 3 months ago
2007
IEEE
In this paper a new class of hybridization strategies between GA and PSO is presented and validated. The Genetical Swarm Optimization (GSO) approach is presented here with respect ...
CODES
2004
IEEE
15 years 3 months ago
2004
IEEE
Future embedded and wireless devices will be increasingly powerful supporting many applications including one of the most crucial, security. Although many wireless and embedded de...