2488 search results - page 148 / 498 » An improvement in formal verification |
108
click to vote
CORR
2010
Springer
14 years 11 months ago
2010
Springer
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and ...
ICPR
2002
IEEE
16 years 2 months ago
2002
IEEE
In this paper, a novel personalized feature combination scheme is proposed for face verification. ANFIS (Adaptive Neuro-Fuzzy Inference System) and SVM (Support Vector Machine) ar...
ISI
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents an improved speaker verification technique that is especially appropriate for surveillance scenarios. The main idea is a metalearning scheme aimed at improving ...
108
click to vote
ICCAD
1997
IEEE
15 years 5 months ago
1997
IEEE
This paper presents a unique approach to improve yield given a routed layout. Currently after routing has been completed and compacted, it generally proceeds to verification witho...
121
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...