Sciweavers

2774 search results - page 391 / 555
» Exploiting Deep Structure
Sort
View
ICCAD
2003
IEEE
123views Hardware» more  ICCAD 2003»
16 years 3 months ago
A Hybrid Approach to Nonlinear Macromodel Generation for Time-Varying Analog Circuits
Modeling frequency-dependent nonlinear characteristics of complex analog blocks and subsystems is critical for enabling efficient verification of mixed-signal system designs. Rece...
Peng Li, Xin Li, Yang Xu, Lawrence T. Pileggi
ICCAD
2001
IEEE
124views Hardware» more  ICCAD 2001»
16 years 3 months ago
Partition-Based Decision Heuristics for Image Computation Using SAT and BDDs
Methods based on Boolean satisfiability (SAT) typically use a Conjunctive Normal Form (CNF) representation of the Boolean formula, and exploit the structure of the given problem ...
Aarti Gupta, Zijiang Yang, Pranav Ashar, Lintao Zh...
CVPR
2010
IEEE
16 years 3 months ago
A Content-Aware Image Prior
In image restoration tasks, a heavy-tailed gradient distribution of natural images has been extensively exploited as an image prior. Most image restoration algorithms impose a spa...
Taeg Sang Cho, Neel Joshi, Larry Zitnick, Sing Bin...
CVPR
2010
IEEE
16 years 2 months ago
Increasing depth resolution of Electron Microscopy of Neural circuits using Sparse Tomographic reconstruction
Future progress in neuroscience hinges on reconstruction of neuronal circuits to the level of individual synapses. Because of the specifics of neuronal architecture, imaging must ...
Ashok Veeraraghavan, Alex Genkin, Shiv Vitaladevun...
WWW
2010
ACM
16 years 1 months ago
Scalable discovery of contradictions on the web
Our study addresses the problem of large-scale contradiction detection and management, from data extracted from the Web. We describe the first systematic solution to the problem,...
Mikalai Tsytsarau, Themis Palpanas, Kerstin Deneck...