2488 search results - page 148 / 498 » An improvement in formal verification |
178
click to vote
CORR
2010
Springer
15 years 4 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 ...
155
click to vote
ICPR
2002
IEEE
16 years 7 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...
146
click to vote
ISI
2005
Springer
15 years 12 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 ...
167
click to vote
ICCAD
1997
IEEE
15 years 10 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...
206
click to vote
ATAL
2010
Springer
15 years 7 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...