6020 search results - page 632 / 1204 » A New Approach to Model Counting |
283
click to vote
CP
2009
Springer
16 years 8 months ago
2009
Springer
Millions of containers are stowed every week with goods worth billions of dollars, but container vessel stowage is an all but neglected combinatorial optimization problem. In this ...
205
Voted
WEBI
2007
Springer
16 years 1 months ago
2007
Springer
Web sites are often organized into several regions, each dedicated to a specific topic or serving a particular function. From a user’s perspective, these regions typically form ...
235
click to vote
PATAT
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. Service network design is critical to the profitability of express shipment carriers. In this paper, we consider the problem of designing the integrated service network ...
213
Voted
LAWEB
2003
IEEE
16 years 17 days ago
2003
IEEE
RDF is the first W3C standard for enriching information resources of the Web with detailed meta data. The semantics of RDF data is defined using a RDF schema. The most expressiv...
182
click to vote
ACSAC
2002
IEEE
16 years 8 days ago
2002
IEEE
The threat to organisations from network attacks is very real. Current countermeasures to denial of service (DoS) attacks rely on the perimeter model of network security. However,...