4287 search results - page 400 / 858 » Minimal Mental Models |
197
click to vote
GLVLSI
2007
IEEE
15 years 7 months ago
2007
IEEE
Given a set of placed blocks, we present an algorithm that minimally spaces the blocks to ensure routability under several assumptions. By performing a binary search on total widt...
202
click to vote
AI
2008
Springer
15 years 7 months ago
2008
Springer
Verification of reachability properties for probabilistic systems is usually based on variants of Markov processes. Current methods assume an exact model of the dynamic behavior a...
159
click to vote
ANOR
2010
15 years 7 months ago
2010
Many image denoising methods can be characterized as minimizing "loss + penalty," where the "loss" measures the fidelity of the denoised image to the data, and ...
189
click to vote
CGF
2010
15 years 7 months ago
2010
We present a closed-form solution for the symmetrization problem, solving for the optimal deformation that reconciles a set of local bilateral symmetries. Given as input a set of ...
197
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
: Network intrusion detection sensors are usually built around low level models of network traffic. This means that their output is of a similarly low level and as a consequence, ...