# Constraint (mathematics)

## Papers overview

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

Review

2016

Review

2016

- Digital Investigation
- 2016

Video tampering is a process of malicious alteration of video content, so as to conceal an object, an event or change the meaningâ€¦Â (More)

Is this relevant?

Highly Cited

2011

Highly Cited

2011

- IEEE Transactions on Geoscience and Remoteâ€¦
- 2011

A new sparsity-based algorithm for the classification of hyperspectral imagery is proposed in this paper. The proposed algorithmâ€¦Â (More)

Is this relevant?

2008

2008

- Math. Program.
- 2008

We consider a difficult class of optimization problems that we call a mathematical program with vanishing constraints. Problemsâ€¦Â (More)

Is this relevant?

Highly Cited

2003

Highly Cited

2003

- ASP-DAC
- 2003

In this paper, we present an algorithm which automatically maps the IPs/cores onto a generic regular Network on Chip (NoCâ€¦Â (More)

Is this relevant?

Highly Cited

1999

Highly Cited

1999

- Automatica
- 1999

This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, andâ€¦Â (More)

Is this relevant?

Highly Cited

1999

Highly Cited

1999

- Annals of Mathematics and Artificial Intelligence
- 1999

Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm isâ€¦Â (More)

Is this relevant?

Highly Cited

1999

Highly Cited

1999

- 1999

Contributions to this research made by a member of The Financial Access Initiative.Â

Is this relevant?

Highly Cited

1999

Highly Cited

1999

- Math. Program.
- 1999

The mathematical program with equilibrium constraints (MPEC) is an optimization problem with variational inequality constraintsâ€¦Â (More)

Is this relevant?

Highly Cited

1999

Highly Cited

1999

- PODS
- 1999

In this paper we consider the problem of the logical characterization of the notion of consistent answer in a relational databaseâ€¦Â (More)

Is this relevant?

Highly Cited

1988

Highly Cited

1988

- Commun. ACM
- 1988

A method for creating functional test suites has been developed in which a test engineer analyzes the system specificationâ€¦Â (More)

Is this relevant?