4116 search results - page 171 / 824 » Type Analysis for CHIP |
CHI
2006
ACM
14 years 9 months ago
2006
ACM
In experimental research the job of analyzing data is an extremely slow and laborious process. In particular, video and audio data of human behavior are difficult to analyze, as t...
ESOP
2010
Springer
14 years 3 months ago
2010
Springer
In 2003, Hofmann and Jost introduced a type system that uses a potential-based amortized analysis to infer bounds on the resource consumption of (first-order) functional programs....
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— This paper presents a sensor analysis based fault detection approach (which we call SAFDetection) that is used to monitor tightly-coupled multi-robot team tasks. Our approach a...
IQIS
2004
ACM
14 years 2 months ago
2004
ACM
Data freshness has been identified as one of the most important data quality attributes in information systems. This importance increases particularly in the context of distribute...
BICOB
2010
Springer
14 years 1 months ago
2010
Springer
Most existing approaches for gene selection are based on evaluating the statistical relevance. However, there are remarkable discrepancies between statistical relevance and biolog...