2573 search results - page 334 / 515 » Combinations of Modal Logics |
164
click to vote
APLAS
2004
ACM
15 years 10 months ago
2004
ACM
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher-order programs. The ...
286
click to vote
AUSAI
2006
Springer
15 years 10 months ago
2006
Springer
This paper introduces Fuzzy Neural Network controller to increase the ability of a mobile robot in reacting to the dynamic environments. States of robot and environment, for exampl...
166
click to vote
CSR
2006
Springer
15 years 10 months ago
2006
Springer
We present a method to convert the construction of binary decision diagrams (BDDs) into extended resolution proofs. Besides in proof checking, proofs are fundamental to many applic...
154
click to vote
FPGA
2006
ACM
15 years 10 months ago
2006
ACM
This paper presents experimental measurements of the differences between a 90nm CMOS FPGA and 90nm CMOS Standard Cell ASICs in terms of logic density, circuit speed and power cons...
160
click to vote
FSKD
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. It is difficult to understand a scene from visual information in uncertain real world. Since Bayesian network (BN) is known as good in this uncertainty, it has received s...