Sciweavers

3128 search results - page 435 / 626
» Finite element method
Sort
View
162
Voted
CVPR
2010
IEEE
1814views Computer Vision» more  CVPR 2010»
16 years 2 months ago
Depth from Diffusion
An optical diffuser is an element that scatters light and is commonly used to soften or shape illumination. In this paper, we propose a novel depth estimation method that places a ...
Changyin Zhou, Oliver Cossairt, Shree Nayar
STOC
2009
ACM
118views Algorithms» more  STOC 2009»
15 years 11 months ago
How long does it take to catch a wild kangaroo?
The discrete logarithm problem asks to solve for the exponent x, given the generator g of a cyclic group G and an element h ∈ G such that gx = h. We give the first rigorous pro...
Ravi Montenegro, Prasad Tetali
LICS
2009
IEEE
15 years 11 months ago
Logical Step-Indexed Logical Relations
We show how to reason about “step-indexed” logitions in an abstract way, avoiding the tedious, error-prone, and proof-obscuring step-index arithmetic that seems superficially...
Derek Dreyer, Amal Ahmed, Lars Birkedal
ICWE
2009
Springer
15 years 11 months ago
Patterns for the Model-Based Development of RIAs
Rich Internet Applications (RIAs) are highly interactive web applications that resemble desktop applications. Modeling RIAs hence requires techniques for web modeling enriched by m...
Nora Koch, Matthias Pigerl, Gefei Zhang, Tatiana M...
DATE
2008
IEEE
116views Hardware» more  DATE 2008»
15 years 11 months ago
Fast Analog Circuit Synthesis Using Sensitivity Based Near Neighbor Searches
We present an efficient analog synthesis algorithm employing regression models of circuit matrices. Circuit matrix models achieve accurate and speedy synthesis of analog circuits...
Almitra Pradhan, Ranga Vemuri