25218 search results - page 4646 / 5044 » A Logic-Based Information System |
211
click to vote
JSAC
2010
15 years 1 months ago
2010
Downlink spatial intercell interference cancellation (ICIC) is considered for mitigating other-cell interference using multiple transmit antennas. A principle question we explore ...
165
click to vote
JUCS
2010
15 years 1 months ago
2010
: Veldman proved that the contrapositive of countable binary choice is a theorem of full-fledged intuitionism, to which end he used a principle of continuous choice and the fan the...
219
click to vote
SAC
2010
ACM
15 years 1 months ago
2010
ACM
Map labeling of point-feature is the problem of placing text labels to corresponding point features on a map in a way that minimizes overlaps while satisfying basic rules for the ...
204
click to vote
SPEECH
2010
15 years 1 months ago
2010
act 11 We analyze and compare two different methods for unsupervised extractive spontaneous speech summarization in the meeting 12 domain. Based on utterance comparison, we introdu...
228
click to vote
TDP
2010
15 years 1 months ago
2010
The widespread adoption of location-based services (LBS) raises increasing concerns for the protection of personal location information. A common strategy, referred to as obfuscati...