1160 search results - page 201 / 232 » A Colour Object Search Algorithm |
121
click to vote
SPIN
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
153
Voted
CLEF
2007
Springer
15 years 8 months ago
2007
Springer
In participating in this CLEF evaluation campaign, our first objective is to propose and evaluate various indexing and search strategies for the Russian language, in order to obta...
127
Voted
CLEF
2007
Springer
15 years 8 months ago
2007
Springer
In our participation in this CLEF evaluation campaign, the first objective is to propose and evaluate various indexing and search strategies for the Czech language in order to hop...
134
click to vote
GECCO
2008
Springer
15 years 3 months ago
2008
Springer
In Multi-Objective Problems (MOPs) involving uncertainty, each solution might be associated with a cluster of performances in the objective space depending on the possible scenari...
101
Voted
IPPS
2000
IEEE
15 years 6 months ago
2000
IEEE
Network of workstation (NOW) is a cost-effective alternative to massively parallel supercomputers. As commercially available off-the-shelf processors become cheaper and faster, ...