519 search results - page 27 / 104 » A New Approach to Strongly Polynomial Linear Programming |
NIPS
2003
15 years 2 months ago
2003
— One way of image denoising is to project a noisy image to the subspace of admissible images derived, for instance by PCA. However, a major drawback of this method is that all p...
102
click to vote
ICALP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
117
click to vote
AMAI
2006
Springer
15 years 1 months ago
2006
Springer
A weakness of classical Markov decision processes (MDPs) is that they scale very poorly due to the flat state-space representation. Factored MDPs address this representational pro...
136
click to vote
CPAIOR
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. AND/OR search spaces have recently been introduced as a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is...
113
click to vote
ITC
1999
IEEE
15 years 5 months ago
1999
IEEE
A high-level built-in self-test (BIST) synthesis involves several tasks such as system register assignment, interconnection assignment, and BIST register assignment. Existing high...