679 search results - page 91 / 136 » codes 2002 |
ENTCS
2002
14 years 11 months ago
2002
We describe a proof dedicated meta-language, called Ltac, in the context of the Coq proof assistant. This new layer of meta-language is quite appropriate to write small and local ...
HEURISTICS
2002
14 years 11 months ago
2002
A GRASP (greedy randomized adaptive search procedure) is a multi-start metaheuristic for combinatorial optimization. We study the probability distributions of solution time to a su...
INFORMATICALT
2002
14 years 11 months ago
2002
The isolated word speech recognition system based on dynamic time warping (DTW) has been developed. Speaker adaptation is performed using speaker recognition techniques. Vector qua...
124
click to vote
NC
2002
14 years 11 months ago
2002
This paper presents an overview of our most recent results concerning the Particle Swarm Optimization (PSO) method. Techniques for the alleviation of local minima, and for detectin...
101
click to vote
SAC
2002
ACM
14 years 11 months ago
2002
ACM
Java is the predominant language for mobile agent systems, both for implementing mobile agent execution environments and for writing mobile agent applications. This is due to inhe...