105 search results - page 11 / 21 » Approximate Entropy Based Pulse Variability Analysis |
SAS
1999
Springer
15 years 1 months ago
1999
Springer
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...
ASPDAC
2007
ACM
15 years 1 months ago
2007
ACM
In today's designs, when functional verification fails, engineers perform debugging using the provided error traces. Reducing the length of error traces can help the debugging...
107
click to vote
IPMI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We present an exploratory method for simultaneous parcellation of multisubject fMRI data into functionally coherent areas. The method is based on a solely functional repr...
ICFCA
2009
Springer
15 years 4 months ago
2009
Springer
Matrix decomposition methods provide representations of an object-variable data matrix by a product of two different matrices, one describing relationship between objects and hidd...
100
click to vote
EDCC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...