1361 search results - page 196 / 273 » Spaces of practice |
112
click to vote
AAAI
2008
15 years 2 months ago
2008
Previous studies have demonstrated that encoding a Bayesian network into a SAT-CNF formula and then performing weighted model counting using a backtracking search algorithm can be...
103
click to vote
WSC
2008
15 years 2 months ago
2008
In this paper we present SR-1, a simulation-based heuristic algorithm for the Capacitated Vehicle Routing Problem (CVRP). Given a CVRP instance, SR-1 uses an initial "good so...
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
As computers inevitably begin to replace humans as the drivers of automobiles, our current human-centric traffic management mechanisms will give way to hyper-efficient systems and...
DAS
2008
Springer
15 years 1 months ago
2008
Springer
We discuss problems in developing policies for ground truthing document images for pixel-accurate segmentation. First, we describe ground truthing policies that apply to four diff...
FIS
2008
15 years 1 months ago
2008
Abstract. Despite its technological success story, the Internet is facing a rampant growth of isolated ontologies and a massive dump of unstructured legacy data. Therefore, archite...