32032 search results - page 6303 / 6407 » Verified programming in Guru |
ENVSOFT
2007
14 years 11 months ago
2007
A number of spatial decision support systems (SDSSs) are already available for the systematic planning of conservation reserves. These existing systems offer varying levels of int...
112
click to vote
JSAT
2006
14 years 11 months ago
2006
This paper introduces a new hybrid method for efficiently integrating Pseudo-Boolean (PB) constraints into generic SAT solvers in order to solve PB satisfiability and optimization...
JSS
2006
14 years 11 months ago
2006
This paper describes an approach to the feature location problem for distributed systems, that is, to the problem of locating which code components are important in providing a pa...
EOR
2007
14 years 11 months ago
2007
In this paper, we study the procurement problem faced by a buyer who needs to purchase a variety of goods from suppliers applying a so-called total quantity discount policy. This ...
105
click to vote
MTA
2008
14 years 11 months ago
2008
Information on the World Wide Web becomes more and more important for our society. For blind people this is a chance to access more information for their everyday life. In this pap...