3082 search results - page 133 / 617 » Deviation Analysis: A New Use of Model Checking |
164
click to vote
CSDA
2006
15 years 6 months ago
2006
The Hurst parameter H characterizes the degree of long-range dependence (and asymptotic selfsimilarity) in stationary time series. Many methods have been developed for the estimat...
155
click to vote
ACSC
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper discusses the design and implementation of a payment framework that is loosely based on the direct debit payment model. We define such payments as one in which customer...
187
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Natural selection eliminates detrimental and favors advantageous phenotypes. This process leaves characteristic signatures in underlying genomic segments that can be r...
143
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
Symbolic techniques usually use characteristic functions for representing sets of states. Boolean functional vectors provide an alternate set representation which is suitable for ...
181
click to vote
CAIP
2007
Springer
16 years 16 days ago
2007
Springer
In this paper, we propose a new manifold representation capable of being applied for visual speech recognition. In this regard, the real time input video data is compressed using P...