3373 search results - page 538 / 675 » Linear transformations on codes |
294
click to vote
POPL
2009
ACM
16 years 7 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...
161
click to vote
KDD
2008
ACM
16 years 6 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 ...
204
click to vote
SIGMOD
2004
ACM
16 years 6 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...
187
click to vote
ICFP
2008
ACM
16 years 6 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 ...
185
click to vote
CVPR
2005
IEEE
16 years 6 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...