Search Sciweavers | Sciweavers

504 search results - page 6 / 101

» Explaining Verification Conditions

click to vote

CADE
2007
Springer

171views Logical Reasoning» more CADE 2007»

Solving Quantified Verification Conditions Using Satisfiability Modulo Theories

14 years 8 months ago

Download cs.nyu.edu

Abstract. First order logic provides a convenient formalism for describing a wide variety of verification conditions. Two main approaches to checking such conditions are pure first...

Yeting Ge, Clark Barrett, Cesare Tinelli

claim paper

Read More »

click to vote

CAV
2007
Springer

122views Hardware» more CAV 2007»

Parameterized Verification of Infinite-State Processes with Global Conditions

13 years 11 months ago

Download www.disi.unige.it

We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...

Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezin...

claim paper

Read More »

click to vote

ICIAP
2007
ACM

126views Image Processing» more ICIAP 2007»

Score-level fusion of fingerprint and face matchers for personal verification under "stress" conditions

14 years 1 months ago

Download prag.diee.unica.it

Fusion of multiple face and fingerprint matchers based on different biometrics for personal authentication has been investigated in the last years. However, the performance achiev...

Gian Luca Marcialis, Fabio Roli

claim paper

Read More »

click to vote

SIGIR
2010
ACM

131views Information Technology» more SIGIR 2010»

Aspect presence verification conditional on other aspects

13 years 11 months ago