536 search results - page 25 / 108 » From Formal Concept Analysis to Contextual Logic |
144
click to vote
ACL
1989
15 years 7 months ago
1989
We present an algorithm for generating strings from logical form encodings that improves upon previous algorithms in that it places fewer restrictions on the class of grammars to ...
170
click to vote
APCCM
2009
15 years 7 months ago
2009
In life science, deeper understanding of biomolecular systems is acquired by computational modeling and analysis. For the modeling of several kinds of reaction networks, e.g. sign...
161
click to vote
FMCAD
2006
Springer
15 years 9 months ago
2006
Springer
In this paper we formally specify and verify an implementation of the IEEE802.11a standard physical layer based OFDM (Orthogonal Frequency Division Multiplexing) modem using the HO...
142
click to vote
FMCAD
2007
Springer
16 years 7 days ago
2007
Springer
— The concept of applying partial fencing to logic built-in self test (LBIST) hardware structures for the purpose of using partially good chips is well known in the chip design i...
167
click to vote
ICFCA
2009
Springer
15 years 10 months ago
2009
Springer
This paper presents Binary Decision Diagrams (BDDs) applied to Formal Concept Analysis (FCA). The aim is to increase the FCA capability to handle large formal contexts. The main id...