3373 search results - page 538 / 675 » Linear transformations on codes |
179
click to vote
POPL
2009
ACM
15 years 10 months ago
2009
ACM
We propose a new verification method for temporal properties of higher-order functional programs, which takes advantage of Ong's recent result on the decidability of the mode...
KDD
2008
ACM
15 years 10 months ago
2008
ACM
In this paper, we propose a set of novel regression-based approaches to effectively and efficiently summarize frequent itemset patterns. Specifically, we show that the problem of ...
103
click to vote
SIGMOD
2004
ACM
15 years 10 months ago
2004
ACM
We are inevitably moving into a realm where small and inexpensive wireless devices would be seamlessly embedded in the physical world and form a wireless sensor network in order t...
ICFP
2008
ACM
15 years 10 months ago
2008
ACM
MLF is a type system that seamlessly merges ML-style type inference with System-F polymorphism. We propose a system of graphic (type) constraints that can be used to perform type ...
CVPR
2005
IEEE
15 years 10 months ago
2005
IEEE
A novel framework called 2D Fisher Discriminant Analysis
(2D-FDA) is proposed to deal with the Small Sample
Size (SSS) problem in conventional One-Dimensional Linear
Discriminan...