2573 search results - page 295 / 515 » Combinations of Modal Logics |
177
click to vote
AMAST
2000
Springer
15 years 11 months ago
2000
Springer
The behavior of reactive systems is typically speci ed by state machines. This results in an operational description of how a system its output. An alternative and more abstract ap...
186
click to vote
ICCD
1999
IEEE
15 years 11 months ago
1999
IEEE
Continuing improvements in semiconductor density are enabling new classes of System-on-a-Chip architectures that combine extensive processing logic and high-density memory. Many o...
167
click to vote
MTDT
1999
IEEE
15 years 11 months ago
1999
IEEE
Continuing improvements in semiconductor fabrication density are enabling new classes of System-on-aChip architectures that combine extensive processing logic and high-density mem...
138
Voted
CADE
1994
Springer
15 years 10 months ago
1994
Springer
We present a completion-based method for handling a new version of E-unification, called "mixed" E-unification, that is a combination of the classical "universal&quo...
218
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
Fuzzy answer set programming has been introduced as a framework that successfully combines the concepts of answer set programming and fuzzy logic. In this paper, we show how the fu...