Sciweavers

824 search results - page 28 / 165
» Constructing Functional Programs for Grammar Analysis Proble...
Sort
View
CORR
2006
Springer
131views Education» more  CORR 2006»
13 years 8 months ago
Analysis of LDGM and compound codes for lossy compression and binning
Abstract-- Recent work has suggested that low-density generator matrix (LDGM) codes are likely to be effective for lossy source coding problems. We derive rigorous upper bounds on ...
Emin Martinian, Martin J. Wainwright
ICASSP
2007
IEEE
14 years 2 months ago
An Affine Invariant Function using PCA Bases with an Application to Within-Class Object Recognition
The problem of shape-based recognition of objects under affine transformations is considered. We focus on the construction of a robust and highly discriminative affine invariant...
Georgios Tzimiropoulos, Nikolaos Mitianoudis, Tani...
ECOOP
2005
Springer
14 years 2 months ago
Attached Types and Their Application to Three Open Problems of Object-Oriented Programming
The three problems of the title — the first two widely discussed in the literature, the third less well known but just as important for further development of object technology ...
Bertrand Meyer
ICFEM
2000
Springer
14 years 2 days ago
Formal Treatment of a Family of Fixed-Point Problems on Graphs by CafeOBJ
A family of well known problems on graphs includingthe shortest path problem and the data flow analysis problem can be uniformly formulated as a fixed-point problem on graphs. We ...
Tetsuo Tamai
PLDI
2005
ACM
14 years 2 months ago
Checking type safety of foreign function calls
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
Michael Furr, Jeffrey S. Foster