1878 search results - page 229 / 376 » Feature Generation Using General Constructor Functions |
ESOP
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
EWC
2000
13 years 8 months ago
2000
The goals of Design Rationale Capture (DRC) are improving design quality and reducing design time. These general goals have led to the design of many DRC techniques originating fro...
ATAL
2007
Springer
14 years 2 months ago
2007
Springer
Activity recognition is a key component for creating intelligent, multi-agent systems. Intrinsically, activity recognition is a temporal classification problem. In this paper, we...
CVPR
2008
IEEE
14 years 10 months ago
2008
IEEE
In this paper we introduce a template-based method for recognizing human actions called Action MACH. Our approach is based on a Maximum Average Correlation Height (MACH) filter. A...
BMCBI
2007
13 years 8 months ago
2007
Background: With the explosion in data generated using microarray technology by different investigators working on similar experiments, it is of interest to combine results across...