1219 search results - page 52 / 244 » Verification of Equivalent-Results Methods |
ICB
2007
Springer
14 years 19 days ago
2007
Springer
In recent years, palmprint based personal identification has been extensively explored by researchers. The success of this technology has demonstrated that the inner part of palm s...
HYBRID
2009
Springer
14 years 19 days ago
2009
Springer
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...
FMCAD
2008
Springer
13 years 10 months ago
2008
Springer
We present a general approach for verifying safety properties of Lustre programs automatically. Key aspects of the approach are the choice of an expressive first-order logic in wh...
DEXA
2000
Springer
14 years 1 months ago
2000
Springer
The aim of this paper is to show a method that is able to detect a particular class of semantic inconsistencies in a rule-based system (RBS). A semantic inconsistency is defined by...
ICMCS
2009
IEEE
13 years 6 months ago
2009
IEEE
In the past few years, several research works have addressed the problems posed by vision