1219 search results - page 41 / 244 » Verification of Equivalent-Results Methods |
AAMAS
2004
Springer
13 years 8 months ago
2004
Springer
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...
FMCAD
2007
Springer
14 years 18 days ago
2007
Springer
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates verifying digital circuits using contin...
IPSN
2003
Springer
14 years 1 months ago
2003
Springer
In this paper we study a dynamic sensor selection method for Bayesian filtering problems. In particular we consider the distributed Bayesian Filtering strategy given in [1] and sh...
ICASSP
2010
IEEE
13 years 7 months ago
2010
IEEE
In this paper, fingerprint videos are used to improve the accuracy of a fingerprint verification system. We define the “inside-similarity” and “outside-similarity” to ...
BMCBI
2005
13 years 8 months ago
2005
Background: High-throughput methods identify an overwhelming number of protein-protein interactions. However, the limited accuracy of these methods results in the false identifica...