Sciweavers

2206 search results - page 111 / 442
» On the power of coercion abstraction
Sort
View
JANCL
2007
107views more  JANCL 2007»
13 years 10 months ago
Distributed knowledge
ABSTRACT. This paper provides a complete characterization of epistemic models in which distributed knowledge complies with the principle of full communication [HOE 99, GER 99]. It ...
Floris Roelofsen
BSL
2004
110views more  BSL 2004»
13 years 10 months ago
Notes on quasiminimality and excellence
This paper ties together much of the model theory of the last 50 years. Shelah's attempts to generalize the Morley theorem beyond first order logic led to the notion of excel...
John T. Baldwin
KSEM
2010
Springer
13 years 8 months ago
A Comparison of Merging Operators in Possibilistic Logic
Abstract. In this paper, we compare merging operators in possibilistic logic. We first propose an approach to evaluating the discriminating power of a merging operator. After that...
Guilin Qi, Weiru Liu, David A. Bell
FPL
2011
Springer
203views Hardware» more  FPL 2011»
12 years 9 months ago
Accelerating Fluid Registration Algorithm on Multi-FPGA Platforms
Abstract—In the clinical applications, medical image registrations on the images taken from different times and/or through different modalities are needed in order to have an obj...
Jason Cong, Muhuan Huang, Yi Zou
VTC
2007
IEEE
200views Communications» more  VTC 2007»
14 years 4 months ago
General Analysis of Uplink Group-Orthogonal MC-CDMA systems
Abstract—Group-orthogonal multicarrier code-division multiple access (GO-MC-CDMA) has been proposed as a multiplexing technique for the uplink segment of wireless systems. The di...
Guillem Femenias, Felip Riera-Palou, Jaume Ramis