The ACM SIGPLAN International Conference on Functional Programming (ICFP) is an annual academic conference in the field of computer science sponsored… (More)

Semantic Scholar uses AI to extract papers important to this topic.

2017

2017

- Rajeev Alur, Arjun Radhakrishna, Abhishek Udupa
- TACAS
- 2017

Given a semantic constraint specified by a logical formula, and syntactic constraints specified by a context-free grammar, the… (More)

Is this relevant?

2012

2012

- Marc Hallin, Siegfried Hörmann, Lukasz Kidzinski, Siegfried Hörmann, Łukasz Kidziński, Marc Hallin
- 2012

In this paper, we address the problem of dimension reduction for sequentially observed functional data (X k : k ∈ Z). Such… (More)

Is this relevant?

Highly Cited

2011

Highly Cited

2011

- Shiqian Ma, Donald Goldfarb, Lifeng Chen
- Math. Program.
- 2011

The linearly constrained matrix rank minimization problem is widely applicable in many fields such as control, signal processing… (More)

Is this relevant?

2009

2009

- Alois Kneip
- 2009

Functional principal component analysis (FPCA) based on the Karhunen–Loève decomposition has been successfully applied in many… (More)

Is this relevant?

2009

2009

- Raghunandan H. Keshavan, Andrea Montanari, Sewoong Oh
- 2009 47th Annual Allerton Conference on…
- 2009

We consider a problem of significant practical importance, namely, the reconstruction of a low-rank data matrix from a small… (More)

Is this relevant?

2009

2009

- Aditi Roy, Shamik Sural
- NAFIPS 2009 - 2009 Annual Meeting of the North…
- 2009

This paper proposes a method for the identification of individuals from their gait using fuzzy logic. Gait signature is first… (More)

Is this relevant?

Highly Cited

2004

Highly Cited

2004

We propose nonparametric methods for functional linear regression which are designed for sparse longitudinal data, where both the… (More)

Is this relevant?

2004

2004

- A. Abodpour, Seyed Hamidreza Mohades Kasaei
- Proceedings of the Fourth IEEE International…
- 2004

Fuzzy objective function-based clustering methods are proved to be fast tools for classification and segmentation purposes… (More)

Is this relevant?

1995

1995

A number of useful optimisations are enabled if we can determine when a value is accessed at most once. We extend the Hindley… (More)

Is this relevant?

1995

1995

- Martin Odersky, Philip Wadler, Martin Wehr
- FPCA
- 1995

We study a minimal extension of the Hindley/Milner system that supports overloading and polymorphic records. We show that the… (More)

Is this relevant?