6608 search results - page 995 / 1322 » On the Completeness of Model Checking |
266
click to vote
CP
2009
Springer
16 years 7 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 ...
215
click to vote
EWSN
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. In their EWSN'07 paper [1], Giusti et al. proposed a decentralized wake-up scattering algorithm for temporally spreading the intervals in which the nodes of a wirele...
179
click to vote
KDD
2005
ACM
16 years 7 months ago
2005
ACM
We propose a simple yet potentially very effective way of visualizing trained support vector machines. Nomograms are an established model visualization technique that can graphica...
175
Voted
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
With device counts on modern-day ASICs crossing the 10 million mark, careful planning of an ASIC design project is necessary to meet time deadlines. Two problems arise in this con...
169
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
Ink-bleed interference is undesirable as it reduces the legibility and aesthetics of affected documents. We present a novel approach to reduce ink-bleed interference using functio...