4118 search results - page 583 / 824 » Efficient Algorithms for Airline Problem |
138
click to vote
SAT
2005
Springer
15 years 10 months ago
2005
Springer
Current algorithms for bounded model checking (BMC) use SAT methods for checking satisfiability of Boolean formulas. These BMC methods suffer from a potential memory explosion prob...
150
click to vote
NETGAMES
2004
ACM
15 years 10 months ago
2004
ACM
We propose a fully-distributed peer-to-peer architecture to solve the scalability problem of Networked Virtual Environment in a simple and efficient manner. Our method exploits lo...
138
click to vote
ADC
2003
Springer
15 years 10 months ago
2003
Springer
The rapid increase of web complexity and size makes web searched results far from satisfaction in many cases due to a huge amount of information returned by search engines. How to...
126
click to vote
EUROGP
2003
Springer
15 years 10 months ago
2003
Springer
Test programs are fragment of code, but, unlike ordinary application programs, they are not intended to solve a problem, nor to calculate a function. Instead, they are supposed to ...
110
click to vote
GECCO
2003
Springer
15 years 10 months ago
2003
Springer
While genetically inspired approaches to multi-objective optimization have many advantages over conventional approaches, they do not explicitly exploit directional/gradient informa...