2035 search results - page 112 / 407 » On the complexity of stratified logics |
148
click to vote
EUSFLAT
2007
15 years 7 months ago
2007
The embedded soft computing approach in wireless sensor networks is suggested. This approach means a combination of embedded fuzzy logic and neural networks models for information...
110
click to vote
COLING
2002
15 years 6 months ago
2002
The relative logical scope of multiple modifiers within NP is often semantically significant. This paper proposes a structurally based method for computing the relative scope of s...
153
click to vote
IJIS
2002
15 years 6 months ago
2002
Meta-level architectures for dynamic control of reasoning processes are quite powerful. In the literature many applications in reasoning systems modelling complex tasks are descri...
160
click to vote
ISMVL
2007
IEEE
16 years 18 days ago
2007
IEEE
Designing modern circuits comprised of millions of gates is a very challenging task. Therefore new directions are investigated for efficient modeling and verification of such syst...
197
click to vote
TACAS
2001
Springer
15 years 10 months ago
2001
Springer
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...