1888 search results - page 130 / 378 » Proof theory and computational analysis |
107
click to vote
ICISC
2003
15 years 2 months ago
2003
Abstract. A proxy signature scheme allows an entity to delegate his/her signing capability to another entity in such a way that the latter can sign messages on behalf of the former...
345
click to vote
PRL
2010
14 years 11 months ago
2010
We consider the problem of fitting linearly parameterized models, that arises in many computer vision problems such as road scene analysis. Data extracted from images usually cont...
111
Voted
GECCO
2006
Springer
15 years 4 months ago
2006
Springer
Metaheuristics have often been shown to be effective for difficult combinatorial optimization problems. The reason for that, however, remains unclear. A framework for a theory of ...
121
click to vote
IJFCS
2008
15 years 18 days ago
2008
Abstract. Recently, it has been shown that for any higher order pushdown system H and for any regular set C of configurations, the set pre H(C), is regular. In this paper, we give ...
114
Voted
EH
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper proposes an original approach to the reliability analysis for Embryonics [4], by introducing the accuracy threshold measure, borrowed from fault-tolerant quantum comput...