980 search results - page 12 / 196 » Logical Testing |
DT
2007
13 years 7 months ago
2007
JAR
2010
13 years 6 months ago
2010
RSCTC
2010
Springer
13 years 5 months ago
2010
Springer
Randomisation is a method to test the statistical significance of a symbolic rule; it is, however, very expensive. In this paper we present a sequential randomisation test which d...
CSL
2006
Springer
13 years 11 months ago
2006
Springer
The Hintikka-style modal logic approach to knowledge has a well-known defect of logical omniscience, i.e., an unrealistic feature that an agent knows all logical consequences of he...
FCCM
2005
IEEE
14 years 1 months ago
2005
IEEE
We report test results from a prototype asynchronous FPGA (AFPGA) implemented in TSMC’s 0.18μm CMOS process. The AFPGA uses SRAM-based configuration bits with pipelined logic ...