28 search results - page 1 / 6 » Edit and verify |
CORR
2007
Springer
13 years 4 months ago
2007
Springer
Abstract. Automated theorem provers are used in extended static checking, where they are the performance bottleneck. Extended static checkers are run typically after incremental ch...
BMCBI
2010
13 years 5 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...
ICIP
2000
IEEE
13 years 9 months ago
2000
IEEE
A novel method is proposed to achieve efficient MPEG-2 video editing in compressed domain while preserving Video Buffer Verifier (VBV) requirements. Different cases are determined...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
: This technical report details a family of time warp distances on the set of discrete time series. This family is constructed as an editing distance whose elementary operations ap...
ECEASST
2010
12 years 11 months ago
2010
Abstract. Many modelling languages have both a textual and a graphical form. The relationship between these two forms ought to be clear and concrete, but is instead commonly unders...