3628 search results - page 181 / 726 » Approaching the Physical Limits of Computing |
180
click to vote
SBACPAD
2006
IEEE
16 years 1 months ago
2006
IEEE
Performance evaluation of contemporary processors is becoming increasingly difficult due to the lack of proper frameworks. Traditionally, cycle-accurate simulators have been exte...
198
click to vote
SAT
2005
Springer
16 years 16 days ago
2005
Springer
We introduce ApproxCount, an algorithm that approximates the number of satisfying assignments or models of a formula in propositional logic. Many AI tasks, such as calculating degr...
186
click to vote
HICSS
2003
IEEE
16 years 10 days ago
2003
IEEE
Abstract—Current techniques towards information security have limited capabilities to detect and counter attacks that involve different kinds of masquerade and spread of misinfor...
196
click to vote
DS
1997
15 years 8 months ago
1997
Determining attribute correspondences is a difficult, time-consuming, knowledge-intensive part of database integration. We report on experiences with tools that identified candi...
174
click to vote
GEOINFORMATICA
2006
15 years 7 months ago
2006
In this paper a new method for the combination of 2D GIS vector data and 2.5D DTM represented by triangulated irregular networks (TIN) to derive integrated triangular 2.5D object-b...