Results for:
"
Lemma+%28linguistics%29
" in Documents
- University of Bia lystok Coincidence Lemma and Substitution Lemma 1
- Summary. This article is part of a series of Mizar articles which constitute a formal proof (of a basic version) of Kurt G?del?s famous completeness theorem (K. G?del, ?Die Vollst?ndigkeit der Axiome ...
-
Rating:
Views: (1048)
Pages: ()
Uploaded: 08-04-09
- The homeotic gene long sterile lemma (G1) specifies sterile lemma iden...
- The mechanism of floral organ specification is principally conserved in angiosperms, as demonstrated by the ABC model. By contrast, mechanisms that regulate the development of organs or structures spe...
-
Rating:
Views: (1)
Pages: ()
Uploaded: 2010-1-15
- Discrete-time positive-real lemma revisited: the discrete-timecounterp...
- Abstract In this paper, we present what can be considered the discrete-time counterpart of the concept of positive realness and the corresponding algebraic necessary and sufficient criteria that a di...
-
Rating:
Views: (2011)
Pages: (0)
Uploaded: Publication Date: Nov 1994
- Similarity-Based Lemma Generation with Lemma-Delaying Tableaux Enumera...
- The use of bottom-up generated lemmas is an appropriate method for achieving an effective redundancy control mechanism for connection tableau search procedures as well as for reducing proof lengths. A...
-
Rating:
Views: (1005)
Pages: ()
Uploaded: 13-05-09
- Similarity-Based Lemma Generation with Lemma-Delaying Tableaux Enumera...
- The use of bottom-up generated lemmas is an appropriate method for achieving an effective redundancy control mechanism for connection tableau search procedures as well as for reducing proof lengths. A...
-
Rating:
Views: (1005)
Pages: ()
Uploaded: 13-05-09
- Similarity-Based Lemma Generation with Lemma-Delaying Tableaux Enumera...
- The use of bottom-up generated lemmas is an appropriate method for achieving an effective redundancy control mechanism for connection tableau search procedures as well as for reducing proof lengths. A...
-
Rating:
Views: (1016)
Pages: ()
Uploaded: 13-05-09
- Similarity-Based Lemma Generation with Lemma-Delaying Tableaux Enumera...
- The use of bottom-up generated lemmas is an appropriate method for achieving an effective redundancy control mechanism for connection tableau search procedures as well as for reducing proof lengths. A...
-
Rating:
Views: (1036)
Pages: ()
Uploaded: 13-05-09
- theoremTheorem section exampleExample section proposition theorem Prop...
- We present some quantitative performance measurements for the computing power of Programmable Active Memories (PAM), as introduced by [BRV89]. Based on Field Programmable Gate Array (FPGA) technology,...
-
Rating:
Views: (1023)
Pages: ()
Uploaded: 13-05-09