3831 search results - page 208 / 767 » Dynamic Context Logic |
156
click to vote
EUSFLAT
2001
15 years 6 months ago
2001
This paper proposes a confluence between soft OR and soft computing methods, by means of an application of fuzzy logic ideas to robustness analysis. Both methods try to add flexib...
107
click to vote
MLQ
2002
15 years 4 months ago
2002
In this paper a definition of n-valued system in the context of the algebraizable logics is proposed. We define and study the variety V3, showing that it is definitionally equivale...
154
Voted
CADE
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. This paper presents new results on the decidability of inductive validity of conjectures. For these results, a class of term rewrite systems (TRSs) with built-in linear i...
133
click to vote
CHI
2005
ACM
16 years 5 months ago
2005
ACM
In the research project `Reach', we investigate the potential for new forms of communication and expression to be incorporated dynamically and interactively into the things t...
155
click to vote
FPGA
2004
ACM
15 years 10 months ago
2004
ACM
The cost functions used to evaluate logic synthesis transformations for FPGAs are far removed from the final speed and routability determined after placement, routing and timing a...