2573 search results - page 248 / 515 » Combinations of Modal Logics |
157
click to vote
AICCSA
2007
IEEE
16 years 29 days ago
2007
IEEE
This paper presents an encoding algorithm that is very efficient for many different logic synthesis problems. The algorithm is based on the use of special tables and includes two ...
228
click to vote
JSAI
2007
Springer
16 years 23 days ago
2007
Springer
CF-induction is a sound and complete hypothesis finding procedure for full clausal logic which uses the principle of inverse entailment to compute a hypothesis that logically expl...
187
click to vote
ILP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Logic Programs with Annotated Disjunctions (LPADs) provide a simple and elegant framework for integrating probabilistic reasoning and logic programming. In this paper we ...
195
Voted
ITCC
2002
IEEE
15 years 11 months ago
2002
IEEE
: Since modern programmable devices contain embedded memory blocks, there exists a possibility to implement Finite State Machines (FSM) using such blocks. The size of the memory av...
189
click to vote
DSN
2008
IEEE
15 years 8 months ago
2008
IEEE
The combination of continued technology scaling and increased on-chip transistor densities has made vulnerability to radiation induced soft errors a significant design concern. In...