1789 search results - page 216 / 358 » New analysis and results for the Frank-Wolfe method |
101
click to vote
ICCD
2002
IEEE
15 years 10 months ago
2002
IEEE
Low power design techniques have been employed for more than two decades, however an emerging problem is satisfying the test power constraints for avoiding destructive test and im...
FMCAD
2009
Springer
15 years 8 months ago
2009
Springer
Abstract—Several successful approaches to software verificabased on the construction and analysis of an abstract reachability tree (ART). The ART represents unwindings of the co...
127
click to vote
ICB
2009
Springer
15 years 8 months ago
2009
Springer
In this paper, a Bayesian method for face recognition is proposed based on Markov Random Fields (MRF) modeling. Constraints on image features as well as contextual relationships be...
122
click to vote
IFM
2009
Springer
15 years 8 months ago
2009
Springer
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under verification. DPR is a very general...
133
Voted
MMSP
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract—Feature extraction is a key issue in contentbased image retrieval (CBIR). In the past, a number of texture features have been proposed in literature, including statistic...