436 search results - page 2 / 88 » Decomposing constraint systems: equivalences and computation... |
120
Voted
CADE
2010
Springer
15 years 2 months ago
2010
Springer
We consider security properties of cryptographic protocols, that are either trace properties (such as confidentiality or authenticity) or equivalence properties (such as anonymity ...
134
Voted
HASE
1997
IEEE
15 years 5 months ago
1997
IEEE
: The most important aspect of concurrent and distributed computation is the interaction between system components. Integration of components into a system requires some synchroniz...
117
Voted
ICCV
2003
IEEE
16 years 3 months ago
2003
IEEE
We present a new approach to 3D scene modeling based on geometric constraints. Contrary to the existing methods, we can quickly obtain 3D scene models that respect the given const...
104
Voted
AI
2007
Springer
15 years 1 months ago
2007
Springer
One difficulty that arises in abstract argument systems is that many natural questions regarding argument acceptability are, in general, computationally intractable having been c...
86
Voted
EMNLP
2008
15 years 2 months ago
2008
BLEU is the de facto standard for evaluation and development of statistical machine translation systems. We describe three real-world situations involving comparisons between diff...