Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,817,256 papers from all fields of science
Search
Sign In
Create Free Account
Expressive power (computer science)
Known as:
Expressivity (computer science)
In computer science, the expressive power (also called expressiveness or expressivity) of a language is the breadth of ideas that can be represented…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
39 relations
Blackfin
Chomsky hierarchy
Ciao
Codd's theorem
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
User-centered design of a tool for interactive computer-generated audiovisuals
Nuno N. Correia
,
Atau Tanaka
2014
Corpus ID: 59878811
The present study aims to design a tool for interactive computer-generated audiovisuals. In this paper, we investigate if the…
Expand
Review
2010
Review
2010
Contemporary Chinese art : primary documents
W. Hung
,
Peggy Wang
2010
Corpus ID: 190926444
Part One: Contemporary Art as Domestic Movement, 1976--89 I. The Beginning of Contemporary Art: 1979--84 Introduction Unofficial…
Expand
2007
2007
Transformation of a Mamdani FIS to First Order Sugeno FIS
J. Jassbi
,
S. H. Alavi
,
Paulo J. A. Serra
,
Rita Almeida Ribeiro
IEEE International Fuzzy Systems Conference
2007
Corpus ID: 14266871
In many decision support applications, it is important to guarantee the expressive power, easy formalization and interpretability…
Expand
2007
2007
Data Complexity in the EL family of DLs
Adila Alfa Krisnadhi
,
C. Lutz
Description Logics
2007
Corpus ID: 14879338
In recent years, lightweight description logics (DLs) have experienced increased interest because they admit highly efficient…
Expand
2005
2005
Embedded supervisory control of discrete-event systems
Y. Yang
,
R. Gohari
IEEE International Conference on Automation…
2005
Corpus ID: 31873258
In this paper we propose to implement supervisory control by extending the plant finite state machine (FSM). Plant and supervisor…
Expand
2000
2000
Constraint Matching for Diagram Design: Qualitative Visual Languages
Ana von Klopp Lemon
,
Oliver Lemon
Diagrams
2000
Corpus ID: 28210480
This paper examines diagrams which exploit qualitative spatial relations (QSRs) for representation. Our point of departure is the…
Expand
Review
1999
Review
1999
A Nitpick Analysis of Mobile IPv6
D. Jackson
,
Yu-Chung Ng
,
Jeannette M. Wing
Formal Aspects of Computing
1999
Corpus ID: 2524036
Abstract. A lightweight formal method enables partial specification and automatic analysis by sacrificing breadth of coverage and…
Expand
Review
1994
Review
1994
A Logic for Concurrent Programming
J. Misra
1994
Corpus ID: 14554506
The UNITY-logic, a fragment of linear temporal logic, was introduced in 5]. In this paper, we describe several recent…
Expand
1991
1991
An evaluation framework for algebraic object-oriented query models
Li Yu
,
Sylvia L. Osborn
[] Proceedings. Seventh International Conference…
1991
Corpus ID: 30394808
An evaluation framework consisting of five categories of criteria is developed for evaluating the relative merits of objects…
Expand
1988
1988
Rewrite systems, pattern matching, and code generation
Eduardo Pelegrí-Llopart
,
Susan J. Graham
1988
Corpus ID: 120523610
Trees are convenient representations because of their hierarchical structure, which models many situations, and ease with which…
Expand