3909 search results - page 611 / 782 » Extreme Model Checking |
204
click to vote
FGR
2011
IEEE
14 years 10 months ago
2011
IEEE
—This paper assesses the performance of measures of facial expression dynamics derived from the Computer Expression Recognition Toolbox (CERT) for classifying emotions in the Fac...
194
click to vote
ISBI
2011
IEEE
14 years 10 months ago
2011
IEEE
Pancreas segmentation in 3-D computed tomography (CT) data is of high clinical relevance, but extremely difficult since the pancreas is often not visibly distinguishable from the...
193
click to vote
FS
2011
14 years 10 months ago
2011
Harrison and Kreps showed in 1978 how the heterogeneity of investor beliefs can drive speculation, leading the price of an asset to exceed its intrinsic value. By focusing on an e...
197
click to vote
FEDCSIS
2011
14 years 6 months ago
2011
—Nowadays, embedded systems are widely used. It is extremely difficult to analyze safety issues in embedded systems, to relate the safety analysis results to the actual parts, a...
203
click to vote
JMLR
2012
13 years 9 months ago
2012
Standard compressive sensing results state that to exactly recover an s sparse signal in Rp , one requires O(s · log p) measurements. While this bound is extremely useful in prac...