In lambda calculus, a branch of mathematical logic concerned with the formal study of functions, a reduction strategy is how a complex expression isâ€¦Â (More)

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

Highly Cited

2012

Highly Cited

2012

- Cosmin Ancuti, Codruta O. Ancuti, Tom Haber, Philippe Bekaert
- 2012 IEEE Conference on Computer Vision andâ€¦
- 2012

This paper describes a novel strategy to enhance underwater videos and images. Built on the fusion principles, our strategyâ€¦Â (More)

Is this relevant?

2011

2011

- Ugo Dal Lago, Andrea Masini, Margherita Zorzi
- Electr. Notes Theor. Comput. Sci.
- 2011

A strong confluence result for Q, a quantum Î»-calculus with measurements, is proved. More precisely, confluence is shown to holdâ€¦Â (More)

Is this relevant?

Highly Cited

2009

Highly Cited

2009

- Bernard Mourrain, Jean Pascal Pavone
- J. Symb. Comput.
- 2009

This paper presents a new algorithm for solving a system of polynomials, in a domain of . It can be seen as an improvement of theâ€¦Â (More)

Is this relevant?

2007

2007

- Kazushige Terui
- Arch. Math. Log.
- 2007

Light Linear Logic (LLL) and Intuitionistic Light Affine Logic (ILAL) are logics that capture polynomial time computation. It isâ€¦Â (More)

Is this relevant?

2006

2006

- Nicolas Gama, Nick Howgrave-Graham, Henrik Koy, Phong Q. Nguyen
- CRYPTO
- 2006

Lattice reduction is a hard problem of interest to both publickey cryptography and cryptanalysis. Despite its importanceâ€¦Â (More)

Is this relevant?

Highly Cited

2005

Highly Cited

2005

- Michel Parigot
- 2005

1 INTRODUCTION This paper presents a way of extending the paradigm "proofs as programs" to classical proofs. The system we use isâ€¦Â (More)

Is this relevant?

Highly Cited

2005

Highly Cited

2005

- Jong-Bae Park, Ki-Song Lee, Joong-Rin Shin, K. Y. Lee
- IEEE Transactions on Power Systems
- 2005

This work presents a new approach to economic dispatch (ED) problems with nonsmooth cost functions using a particle swarmâ€¦Â (More)

Is this relevant?

2004

2004

- Lexin Li, Hongzhe Li
- Bioinformatics
- 2004

MOTIVATION
Recent research has shown that gene expression profiles can potentially be used for predicting various clinicalâ€¦Â (More)

Is this relevant?

Highly Cited

1996

Highly Cited

1996

- Gerard J. Holzmann, Doron A. Peled, Mihalis Yannakakis
- The Spin Verification System
- 1996

We show in this paper that the algorithm for solving the model checking problem with a nested depth-first search can interfereâ€¦Â (More)

Is this relevant?

1992

1992

- Torben Ã†. Mogensen
- J. Funct. Program.
- 1992

We start by giving a compact representation schema for Î»-terms and show how this leads to an exceedingly small and elegant selfâ€¦Â (More)

Is this relevant?