Sciweavers

5623 search results - page 1002 / 1125
» Estimating in Actual Time
Sort
View
CP
2007
Springer
15 years 10 months ago
On Inconsistent Clause-Subsets for Max-SAT Solving
Recent research has focused on using the power of look-ahead to speed up the resolution of the Max-SAT problem. Indeed, look-ahead techniques such as Unit Propagation (UP) allow to...
Sylvain Darras, Gilles Dequen, Laure Devendeville,...
FC
2010
Springer
160views Cryptology» more  FC 2010»
15 years 10 months ago
Measuring the Perpetrators and Funders of Typosquatting
We describe a method for identifying “typosquatting”, the intentional registration of misspellings of popular website addresses. We estimate that at least 938 000 typosquatting...
Tyler Moore, Benjamin Edelman
CVPR
2009
IEEE
15 years 10 months ago
Automatic registration of LIDAR and optical images of urban scenes
Fusion of 3D laser radar (LIDAR) imagery and aerial optical imagery is an efficient method for constructing 3D virtual reality models. One difficult aspect of creating such models...
Andrew Mastin, Jeremy Kepner, John W. Fisher III
SUTC
2010
IEEE
15 years 10 months ago
A Log-Ratio Information Measure for Stochastic Sensor Management
—In distributed sensor networks, computational and energy resources are in general limited. Therefore, an intelligent selection of sensors for measurements is of great importance...
Daniel Lyons, Benjamin Noack, Uwe D. Hanebeck
GLVLSI
2009
IEEE
172views VLSI» more  GLVLSI 2009»
15 years 10 months ago
Contact merging algorithm for efficient substrate noise analysis in large scale circuits
A methodology is proposed to efficiently estimate the substrate noise generated by large scale aggressor circuits. Small spatial voltage differences within the ground distribution...
Emre Salman, Renatas Jakushokas, Eby G. Friedman, ...
« Prev « First page 1002 / 1125 Last » Next »