3238 search results - page 214 / 648 » On the Computational Interpretation of Negation |
166
click to vote
ICMCS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents an effective fuzzy long-term semantic learning method for relevance feedback-based image retrieval. The proposed system uses a statistical correlationbased met...
143
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
The question of whether there is a logic that captures polynomial time is the central open problem in descriptive complexity theory. In my talk, I will review the question and the...
160
click to vote
GLOBECOM
2007
IEEE
16 years 28 days ago
2007
IEEE
— We analyze the performance of a wireless system that allows opportunistic spectrum sharing. The system consists of a set of primary users sharing a set of channels over a cover...
145
click to vote
LICS
2007
IEEE
16 years 26 days ago
2007
IEEE
We show that tree-like (Gentzen’s calculus) PK where all cut formulas have depth at most a constant d does not simulate cut-free PK. Generally, we exhibit a family of sequents t...
176
click to vote
MUE
2007
IEEE
16 years 26 days ago
2007
IEEE
With the developments of related techniques in telecommunication and computer sciences, wireless sensor networks have been used more and more widely. While sensor nodes in wireles...