6906 search results - page 294 / 1382 » An algorithm for modelling key terms |
153
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
We propose Satisfiability Checking (SAT) techniques that lead to a consistent performance improvement of up to 3x over state-ofthe-art SAT solvers like Chaff on important problem ...
172
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
We introduce a method for estimating regional connectivity in diffusion tensor magnetic resonance imaging (DT-MRI) based on a fluid mechanics model. We customize the Navier-Stokes...
191
click to vote
SUTC
2008
IEEE
16 years 1 months ago
2008
IEEE
With the availability of low-cost sensor nodes there have been many standards developed to integrate and network these nodes to form a reliable network allowing many different typ...
163
click to vote
IPPS
2005
IEEE
16 years 6 days ago
2005
IEEE
In this paper, our contributions are two-fold: First, we enhance the Min-Min and Sufferage heuristics under three risk modes driven by security concerns. Second, we propose a new ...
179
click to vote
GLVLSI
2010
IEEE
15 years 11 months ago
2010
IEEE
Meeting the temperature constraints and reducing the hot-spots are critical for achieving reliable and efficient operation of complex multi-core systems. The goal of thermal mana...