651 search results - page 62 / 131 » Adding Search to Zinc |
CP
2005
Springer
14 years 3 months ago
2005
Springer
QBF is the problem of deciding the satisfiability of quantified boolean formulae in which variables can be either universally or existentially quantified. QBF generalizes SAT (S...
EVOW
2004
Springer
14 years 3 months ago
2004
Springer
Cellular Genetic Algorithms (cGAs) are a subclass of Genetic Algorithms (GAs) in which the population diversity and exploration are enhanced thanks to the existence of small overla...
ATAL
2003
Springer
14 years 3 months ago
2003
Springer
This article presents an implemented multi-robot system for playing the popular game of laser tag. The object of the game is to search for and tag opponents that can move freely a...
ICPR
2000
IEEE
14 years 2 months ago
2000
IEEE
Providing a user with an effective image search engine has been a very active research area. A search by an object model is considered to be one of the most desirable and yet dif...
HT
2007
ACM
14 years 1 months ago
2007
ACM
Finding relevant information in a hyperspace has been a much studied problem for many years. With the emergence of so called Web 2.0 technologies we have seen the use of social sy...