An interpretation is an assignment of meaning to the symbols of a formal language. Many formal languages used in mathematics, logic, and theoreticalâ€¦Â (More)

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

Highly Cited

2017

Highly Cited

2017

- Philipp Shah, Marc Berges, Peter Hubwieser
- ICIET '17
- 2017

In computer science education, the analysis of source code with errors is of interest as programming errors may give a hint toâ€¦Â (More)

Is this relevant?

Highly Cited

2004

Highly Cited

2004

- Christian F. Beckmann, Stephen M. Smith
- IEEE Transactions on Medical Imaging
- 2004

We present an integrated approach to probabilistic independent component analysis (ICA) for functional MRI (FMRI) data thatâ€¦Â (More)

Is this relevant?

Highly Cited

2004

Highly Cited

2004

The concept of resilience has evolved considerably since Hollingâ€™s (1973) seminal paper. Different interpretations of what isâ€¦Â (More)

Is this relevant?

Highly Cited

2004

Highly Cited

2004

- Dragan Nesic, Andrew R. Teel
- IEEE Transactions on Automatic Control
- 2004

Results on input-output L/sub p/ stability of networked control systems (NCS) are presented for a large class of networkâ€¦Â (More)

Is this relevant?

Highly Cited

2001

Highly Cited

2001

- Jamie J. Cannone, Sankar Subramanian, +11 authors Robin Ray Gutell
- BMC Bioinformatics
- 2001

Comparative analysis of RNA sequences is the basis for the detailed and accurate predictions of RNA structure and theâ€¦Â (More)

Is this relevant?

Highly Cited

1997

Highly Cited

1997

- Irfan A. Essa, Alex Pentland
- IEEE Trans. Pattern Anal. Mach. Intell.
- 1997

We describe a computer vision system for observing facial motion by using an optimal estimation optical flow method coupled withâ€¦Â (More)

Is this relevant?

Highly Cited

1994

Highly Cited

1994

- Amitabh Srivastava, Alan Eustace
- PLDI
- 1994

ATOM (Analysis Tools with OM) is a single framework for building a wide range of customized program analysis tools. It providesâ€¦Â (More)

Is this relevant?

Highly Cited

1991

Highly Cited

1991

- Max J. Egenhofer
- SSD
- 1991

A new formalism is presented to reason about topological relations. It is applicable as a foundation for an algebra overâ€¦Â (More)

Is this relevant?

Highly Cited

1988

Highly Cited

1988

- Kim G. Larsen, Bent Thomsen
- [1988] Proceedings. Third Annual Informationâ€¦
- 1988

A novel logic is introduced for the introduction of nondeterministic and concurrent processes expressed in a process algebra. Forâ€¦Â (More)

Is this relevant?

Highly Cited

1985

Highly Cited

1985

- Armin Haken
- Theor. Comput. Sci.
- 1985

We prove that, for infinitely many disjunctive normal form propositional calculus tautologies ~:, the length of the shortestâ€¦Â (More)

Is this relevant?