577 search results - page 68 / 116 » Computing Rational Bisectors |
DAC
2010
ACM
13 years 11 months ago
2010
ACM
In this paper we summarize recent developments in compact dynamical modeling for both linear and nonlinear systems arising in analog applications. These techniques include methods...
CONCUR
2010
Springer
13 years 9 months ago
2010
Springer
We propose a logic for true concurrency whose formulae predicate about events in computations and their causal dependencies. The induced logical equivalence is hereditary history p...
CSREASAM
2009
13 years 9 months ago
2009
In this paper we propose a new designated verifier signature scheme based on the threshold signature scheme presented [8] by Ghodosi and Pieprzyk. The advantages of the new scheme ...
ESORICS
2010
Springer
13 years 8 months ago
2010
Springer
Collaborative optimization problems can often be modeled as a linear program whose objective function and constraints combine data from several parties. However, important applicat...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Autoepistemic logic extends propositional logic by the modal operator L. A formula that is preceded by an L is said to be "believed". The logic was introduced by Moore ...