Searching for "Features and Formulae." – sorted by Relevance.
119 documents found, showing 1 through 10.
Next 10 →
-
Features and Formulae
- …Features and Formulae Mark Johnson" Brown University Feature structures are a representational…
- Cited by 24 (1 self) – Add To MetaCart
-
Computing with Features as Formulae
- …Computing with Features as Formulae Mark Johnson* Brown University This paper extends the approach…
- Cited by 9 (0 self) – Add To MetaCart
-
A New Method for Testing Decision Procedures in Modal Logics
- …, and it allows for a statistical control of some important features of the formulas generated, e.g, the hardness…
- Cited by 8 (2 self) – Add To MetaCart
-
Physique Th'eorique Improvement of the Calculation of Scattering Amplitudes with External Fermions
- … with the following features: the formulas are quite general and work for different kinematic configurations…
- Add To MetaCart
-
An Axiomatization of Lamport's Temporal Logic of Actions
- … " operators of many previous temporal logics. This is actually a feature, in that formulas with "until…
- Cited by 13 (1 self) – Add To MetaCart
-
Exact Solutions to Total Variation Regularization Problems
- … features. These formulae are extended to general functions. Four important results which we prove…
- Cited by 14 (3 self) – Add To MetaCart
-
A Graphical Interval Logic Toolset for Verifying Concurrent Systems
- … systems. The logic is a discrete linear-time temporal logic with the distinguishing feature that formulas…
- Cited by 9 (6 self) – Add To MetaCart
-
Discovery of Possible LawFormulae Based on Measurement Scale
- … of its data-driven feature, the formulae obtained by our approach are ensured to represent sound law…
- Add To MetaCart
-
Edge-preserving and Scale-dependent Properties of Total Variation Regularization
- … symmetric image features. These formulae also accurately predict the eects of TV Regularization when…
- Cited by 25 (4 self) – Add To MetaCart
-
Gamut Clipping and Mapping based on Coloroid System
- … simple formulas and some interesting and practical features concerning its requirements…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
