Sciweavers

3554 search results - page 244 / 711
» Estimating software based on use case points
Sort
View
FMCAD
2009
Springer
16 years 5 days ago
Scalable conditional equivalence checking: An automated invariant-generation based approach
—Sequential equivalence checking (SEC) technologies, capable of demonstrating the behavioral equivalence of two designs, have grown dramatically in capacity over the past decades...
Jason Baumgartner, Hari Mony, Michael L. Case, Jun...
JSS
2006
80views more  JSS 2006»
15 years 5 months ago
Polyhedral space generation and memory estimation from interface and memory models of real-time video systems
We present a tool and a methodology for estimating the memory storage requirement for synchronous real-time video processing systems. Typically, a designer will use the feedback i...
Benny Thörnberg, Qubo Hu, Martin Palkovic, Ma...
ICIP
2005
IEEE
16 years 7 months ago
Direct filtering method for image based rendering
Image based rendering (IBR) is basically a light ray resampling method for generating a novel image without aliasing artifacts from a given set of sampled light rays. To avoid alia...
Akira Kubota, Kiyoharu Aizawa, Tsuhan Chen
ISVC
2010
Springer
15 years 3 months ago
Egocentric Visual Event Classification with Location-Based Priors
We present a method for visual classification of actions and events captured from an egocentric point of view. The method tackles the challenge of a moving camera by creating defor...
Sudeep Sundaram, Walterio W. Mayol-Cuevas
CORR
2010
Springer
118views Education» more  CORR 2010»
15 years 5 months ago
alphaCertified: certifying solutions to polynomial systems
Smale's -theory uses estimates related to the convergence of Newton's method to give criteria implying that Newton iterations will converge quadratically to solutions to ...
Jonathan D. Hauenstein, Frank Sottile