85 search results - page 13 / 17 » Decidability of Trajectory-Based Equations |
115
Voted
CP
2008
Springer
15 years 5 months ago
2008
Springer
When implementing a propagator for a constraint, one must decide about variants: When implementing min, should one also implement max? Should one implement linear equations both wi...
115
click to vote
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper is an investigation of the matching problem for term equations s = t where s contains context variables, and both terms s and t are given using some kind of compressed ...
150
Voted
LICS
1991
IEEE
15 years 7 months ago
1991
IEEE
Baeten, Bergstra, and Klop (and later Caucal) have proved the remarkable result that bisimulation equivalence is decidable for irredundant context-free grammars. In this paper we ...
91
Voted
GRAPHICSINTERFACE
2000
15 years 4 months ago
2000
We present a method to incrementally voxelize triangles into a volumetric dataset with pre-filtering, generating an accurate multivalued voxelization. Multivalued voxelization all...
121
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
In this paper, we prove that type-tagging prevents type-flaw attacks on security protocols that use the Exclusive-OR operator as our main contribution. Our proof method is general ...