A formal system is broadly defined as any well-defined system of abstract thought based on the model of mathematics. The entailment of the system byâ€¦Â (More)

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

Highly Cited

2008

Highly Cited

2008

- Shihao Ji, Ya Xue, Lawrence Carin
- IEEE Transactions on Signal Processing
- 2008

The data of interest are assumed to be represented as N-dimensional real vectors, and these vectors are compressible in someâ€¦Â (More)

Is this relevant?

Highly Cited

2004

Highly Cited

2004

- Ingo Sander, Axel Jantsch
- IEEE Transactions on Computer-Aided Design ofâ€¦
- 2004

The scope of the formal system design (ForSyDe) methodology is high-level modeling and refinement of systems-on-a-chip andâ€¦Â (More)

Is this relevant?

Highly Cited

2002

Highly Cited

2002

- Jerry M. Mendel, Robert Ivor John
- IEEE Trans. Fuzzy Systems
- 2002

Type-2 fuzzy sets let us model and minimize the effects of uncertainties in rule-base fuzzy logic systems. However, they areâ€¦Â (More)

Is this relevant?

Highly Cited

2000

Highly Cited

2000

â€“ for the development of safety critical systems from formal requirements specifications to executable code, including theâ€¦Â (More)

Is this relevant?

Highly Cited

1999

Highly Cited

1999

The use of formal system specifications makes it possible to automate the derivation of test cases from specifications. Thisâ€¦Â (More)

Is this relevant?

Highly Cited

1997

Highly Cited

1997

- Dekai Wu
- Computational Linguistics
- 1997

We introduce (1) a novel stochastic inversion transduction grammar formalism for bilingual language modeling of sentence-pairsâ€¦Â (More)

Is this relevant?

Highly Cited

1995

Highly Cited

1995

- Ronald M. Kaplan
- 1995

In learning their native language children develop a remarkable set of capabilities They acquire knowledge and skills that enableâ€¦Â (More)

Is this relevant?

Highly Cited

1992

Highly Cited

1992

- Arnon Avron, Furio Honsell, Ian A. Mason, Robert Pollack
- Journal of Automated Reasoning
- 1992

Much research has been devoted in building computer systems for checking proofs or for developing interactively correct proofs inâ€¦Â (More)

Is this relevant?

Highly Cited

1976

Highly Cited

1976

- Edward A. Ashcroft, William W. Wadge
- SIAM J. Comput.
- 1976

Lucid is both a programming language and a formal system for proving properties of Lucid programs. The programming language isâ€¦Â (More)

Is this relevant?

Highly Cited

1975

Highly Cited

1975

SELECT is an experimental system for assisting in the formal systematic debugging of programs. It is intended to be a compromiseâ€¦Â (More)

Is this relevant?