2308 search results - page 142 / 462 » Representing Symbolic Reasoning |
182
click to vote
MICCAI
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. This paper addresses an approach toward tomographic reconstruction from rotational angiography data as it is generated by Carms in cardiac imaging. Since the rotational a...
155
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
—A variety of partial modeling formalisms, aimed re and reason about abstractions, have been proposed. Some, e.g., Kripke Modal Transition Systems (KMTSs) put strong restrictions...
197
click to vote
ASIACRYPT
2009
Springer
16 years 1 months ago
2009
Springer
At Eurocrypt 2009 Aggarwal and Maurer proved that breaking RSA is equivalent to factoring in the generic ring model. This model captures algorithms that may exploit the full algeb...
178
click to vote
COCOON
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The original definition of P-systems calls for rules to be applied in a maximally parallel fashion. However, in some cases a sequential model may be a more reasonable as...
166
click to vote
LICS
2003
IEEE
15 years 11 months ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...