3082 search results - page 570 / 617 » Deviation Analysis: A New Use of Model Checking |
106
click to vote
BMCBI
2011
14 years 6 months ago
2011
Background: We present a novel method to encode ambiguously aligned regions in fixed multiple sequence alignments by ‘Pairwise Identity and Cost Scores Ordination’ (PICS-Ord)....
GLVLSI
2005
IEEE
15 years 5 months ago
2005
IEEE
We perform a detailed study of various crosstalk scenarios in VDSM technologies by using a distributed model of the crosstalk site and make a number of key observations about the ...
COOPIS
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper describes the design and performance of a new asynchronous method handling (AMH) mechanism that allows CORBA servers to process client requests asynchronously. AMH deco...
101
click to vote
CIMAGING
2008
15 years 1 months ago
2008
In the past decade, information theory has been studied extensively in computational imaging. In particular, image matching by maximizing mutual information has been shown to yiel...
105
click to vote
TASLP
2008
14 years 11 months ago
2008
In this paper, we investigate the noise robustness of Wang and Shamma's early auditory (EA) model for the calculation of an auditory spectrum in audio classification applicati...