369 search results - page 59 / 74 » Verification of UML Model Elements Using B |
AAAI
1996
13 years 9 months ago
1996
We present a connectionist architecture that supports almost instantaneous deductive and abductive reasoning. The deduction algorithm responds in few steps for single rule queries...
CISS
2011
IEEE
12 years 11 months ago
2011
IEEE
—Mobile optical wireless has so far been limited to very short ranges for high data rate systems. It may be feasible to overcome the data rate limitations over large transmission...
VCIP
2000
2000
Three-dimensional shape-adaptive discrete wavelet transforms for efficient object-based video coding
13 years 9 months ago
In this paper, we present an object-based coding scheme using three-dimensional shape-adaptive discrete wavelet transforms (SA-DWT). Rather than straightforward extension of 2D SA...
AMW
2010
13 years 9 months ago
2010
We study query authentication schemes, algorithmic and cryptographic constructions that provide efficient and secure protocols for verifying the results of queries over structured...
BMCBI
2010
13 years 7 months ago
2010
Background: Several bioinformatic approaches have previously been used to find novel sites of ADAR mediated A-to-I RNA editing in human. These studies have discovered thousands of...