158 search results - page 20 / 32 » Strong logics of first and second order |
100
Voted
ICDIM
2007
IEEE
15 years 8 months ago
2007
IEEE
Objectives of Automation courses are knowledge and know-how transfer to students. It is important for learner to control locally or remotely real systems composed of many sensors ...
101
click to vote
IJOE
2008
15 years 1 months ago
2008
Objectives of Automation courses are knowledge and know-how transfer to students. It is important for learner to control locally or remotely real systems composed of many sensors a...
124
Voted
JCST
2008
15 years 1 months ago
2008
This paper presents some new algorithms to efficiently mine max frequent generalized itemsets (g-itemsets) and essential generalized association rules (g-rules). These are compact ...
115
click to vote
CSL
2007
Springer
15 years 8 months ago
2007
Springer
We consider the problem of automating and checking the use of previously proved lemmas in the proof of some main theorem. In particular, we call the collection of such previously p...
129
click to vote
ICCAD
1994
IEEE
15 years 6 months ago
1994
IEEE
We examine the implications of a new hazard-free combinational logic synthesis method [8], which generates multiplexor trees from binary decision diagrams (BDDs) -- representation...