2654 search results - page 35 / 531 » On Pairing Inversion Problems |
142
click to vote
CORR
2012
Springer
13 years 12 months ago
2012
Springer
Abstract—This study considers an orthogonal frequencydivision multiple-access (OFDMA)-based multi-user two-way relay network where multiple mobile stations (MSs) communicate with...
136
click to vote
ENTCS
2008
15 years 3 months ago
2008
We give a general method for showing that all numberings of certain effective algebras are recursively equivalent. The method is based on computable approximation-limit pairs. The...
135
click to vote
CADE
2009
Springer
16 years 4 months ago
2009
Springer
The inverse method is a generic proof search procedure applicable to non-classical logics satisfying cut elimination and the subformula property. In this paper we describe a genera...
134
click to vote
AAAI
2008
15 years 6 months ago
2008
Answering conjunctive queries (CQs) has been recognized as a key task for the usage of Description Logics (DLs) in a number of applications, and has thus been studied by many auth...
115
click to vote
EUSFLAT
2007
15 years 5 months ago
2007
Fuzzy arithmetic is a powerful tool in many engineering problems such as decision making, control theory, fuzzy systems and approximate reasoning. However, it is well known that t...