Sciweavers

2573 search results - page 172 / 515
» Combinations of Modal Logics
Sort
View
ICNS
2007
IEEE
15 years 11 months ago
Combination of Zero-Forcing Nulling and Fuzzy Parallel Multistage Detection for MIMO Systems
We propose zero-forcing (ZF) nulling followed by fuzzy parallel multistage detection for multi-input multi-output system. The parallel detector consists of two or more stages, the...
Tseng Shu-Ming, Yu Hung-Chieh, Huang Yao-Min
CSL
1995
Springer
15 years 8 months ago
Deduction by Combining Semantic Tableaux and Integer Programming
In this paper we propose to extend the current capabilities of automated reasoning systems by making use of techniques from integer programming. We describe the architecture of an ...
Bernhard Beckert, Reiner Hähnle
CDES
2007
82views Hardware» more  CDES 2007»
15 years 6 months ago
Efficient Global Fault Collapsing for Combinational Library Modules
—Fault collapsing is the process of reducing the number of faults by using redundance and equivalence/dominance relationships among faults. Exact global fault collapsing can be e...
Hussain Al-Asaad
AIRS
2010
Springer
15 years 2 months ago
Top-Down and Bottom-Up: A Combined Approach to Slot Filling
The Slot Filling task requires a system to automatically distill information from a large document collection and return answers for a query entity with specified attributes (`slot...
Zheng Chen, Suzanne Tamang, Adam Lee, Xiang Li, Ma...
ECIR
1998
Springer
15 years 6 months ago
Modeling Information Retrieval with Probabilistic Argumentation Systems
Probabilistic Argumentation Systems (PAS) are a technique for representing uncertainty both symbolically and numerically. It is shown that this technique, which combines symbolic ...
Justin Picard, Rolf Haenni