1670 search results - page 137 / 334 » On Skolemization in constructive theories |
189
click to vote
ASIACRYPT
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we show that two variants of Stern's identification scheme [IEEE Transaction on Information Theory '96] are provably secure against concurrent attack unde...
171
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
We show how to view certain subclasses of (single-pushout) graph transformation systems as well-structured transition systems, which leads to decidability of the covering problem v...
230
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
Linear matrix Inequalities (LMIs) have had a major impact on control but formulating a problem as an LMI is an art. Recently there is the beginnings of a theory of which problems ...
176
click to vote
MKWI
2008
15 years 8 months ago
2008
: The domain of business reporting and especially financial reporting plays an important role when discussing internal and external information flows among organizational units. Th...
170
click to vote
IPCO
2007
15 years 8 months ago
2007
According to the present state of the theory of the matroid matching problem, the existence of a good characterization to the size of a maximum matching depends on the behavior of ...