2488 search results - page 140 / 498 » An improvement in formal verification |
116
click to vote
INFORMATICALT
2008
15 years 25 days ago
2008
Abstract. This paper presents a bimodal biometric verification system based on the fusion of palmprint and face features at the matching-score level. The system combines a new appr...
107
Voted
DAC
2006
ACM
16 years 1 months ago
2006
ACM
In this paper, we present a method that helps improve the performance of Bounded Model Checking by automatically strengthening invariants so that the termination proof may be obta...
89
Voted
ICANN
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Both symbolic knowledge representation systems and artificial neural networks play a significant role in Artificial Intelligence. A recent trend in the field aims at ...
ICALT
2007
IEEE
15 years 7 months ago
2007
IEEE
Health professions education has moved away from process-based curricula to competency-based curricula. Machine readable and processable health care competencies are still embryon...
111
click to vote
EURODAC
1995
IEEE
15 years 4 months ago
1995
IEEE
With VHDL models increasing their size, it becomes more important to assure the quality of these descriptions in order to improve simulation performances, to make project maintain...