2152 search results - page 51 / 431 » On Automating the Calculus of Relations |
134
click to vote
FAC
2008
15 years 20 days ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
ICIP
2005
IEEE
16 years 2 months ago
2005
IEEE
We propose an extension of the conformal (or geodesic) active contour framework in which the conformal factor depends not only on the position of the curve but also on the directi...
91
Voted
CADE
2008
Springer
16 years 28 days ago
2008
Springer
Abstract. We present randoCoP, a theorem prover for classical firstorder logic, which integrates randomized search techniques into the connection prover leanCoP 2.0. By randomly re...
114
Voted
JDCTA
2010
14 years 7 months ago
2010
Soundness and coercion resistance are the important and intricate security requirements for remote voting protocols. Several formal models of soundness and coercion-resistance hav...
115
click to vote
LOPSTR
1995
Springer
15 years 4 months ago
1995
Springer
We present an automated proof method for constructive logic based on Wallen’s matrix characterization for intuitionistic validity. The proof search strategy extends Bibel’s con...