Sciweavers

3281 search results - page 133 / 657
» Bases for parametrized iterativity
Sort
View
ASPDAC
2010
ACM
137views Hardware» more  ASPDAC 2010»
14 years 11 months ago
Managing verification error traces with bounded model debugging
Managing long verification error traces is one of the key challenges of automated debugging engines. Today, debuggers rely on the iterative logic array to model sequential behavior...
Sean Safarpour, Andreas G. Veneris, Farid N. Najm
CORR
2010
Springer
89views Education» more  CORR 2010»
14 years 11 months ago
A Microwave Imaging and Enhancement Technique from Noisy Synthetic Data
: An inverse iterative algorithm for microwave imaging based on moment method solution is presented here. The iterative scheme has been developed on constrained optimization techni...
Anjan Kumar Kundu, Bijoy Bandyopadhyay, Sugata San...
CASES
2004
ACM
15 years 7 months ago
Analytical computation of Ehrhart polynomials: enabling more compiler analyses and optimizations
Many optimization techniques, including several targeted specifically at embedded systems, depend on the ability to calculate the number of elements that satisfy certain conditio...
Sven Verdoolaege, Rachid Seghir, Kristof Beyls, Vi...
ICIP
2002
IEEE
16 years 3 months ago
Unsupervised detection of contours using a statistical model
In this paper, we describe an unsupervised segmentation method for contours which proves quite adapted for the images obtained by electronic acquisition. We present two statistica...
François Destrempes, Max Mignotte
126
Voted
CDC
2008
IEEE
206views Control Systems» more  CDC 2008»
15 years 8 months ago
Approximate dynamic programming using support vector regression
— This paper presents a new approximate policy iteration algorithm based on support vector regression (SVR). It provides an overview of commonly used cost approximation architect...
Brett Bethke, Jonathan P. How, Asuman E. Ozdaglar