1001 search results - page 45 / 201 » Testing Formal Dialectic |
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
In an earlier work, we proposed a novel phonetic segmentation method based on speech analysis under the Microcanonical Multiscale Formalism (MMF). The latter relies on the computa...
VLDB
2001
ACM
14 years 9 months ago
2001
ACM
In this paper, we present an approach to global transactionmanagementinworkflowenvironments.Thetransaction mechanism is based on the well-known notion of compensation, but extended...
ICCAD
2006
IEEE
14 years 6 months ago
2006
IEEE
– In real-time data-dominated communication and multimedia processing applications, due to the manipulation of large sets of data, a multi-layer memory hierarchy is used to enhan...
CIDM
2007
IEEE
14 years 3 months ago
2007
IEEE
— To generate plans for collecting data for data mining, an important problem is information volatility during planning: the information needed by the planning system may change ...
COMPSAC
2006
IEEE
14 years 3 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...