8699 search results - page 241 / 1740 » Elements of the Theory of Computation |
171
click to vote
ILP
2000
Springer
15 years 10 months ago
2000
Springer
Induction of recursive theories in the normal ILP setting is a complex task because of the non-monotonicity of the consistency property. In this paper we propose computational solu...
149
click to vote
AINA
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper points out the privacy issue in the OCSP (Online Certificate Status Protocol), namely, the OCSP responder learns confidential information – who sends a message to w...
174
click to vote
CVPR
1996
IEEE
15 years 10 months ago
1996
IEEE
Feature indexing techniques are promising for object recognition since they can quickly reduce the set of possible matches for a set of image features. This work exploits another ...
124
click to vote
CACM
2008
15 years 6 months ago
2008
In this article, we study the problem of distributed selection from a theoretical point of view. Given a general connected graph of diameter D consisting of n nodes in which each ...
156
click to vote
MCS
2007
Springer
15 years 6 months ago
2007
Springer
The paper deals with a structural optimization of composite materials with periodic microstructures invoking an elasto-plasticity model with the von Mises yield criterion. Closest...