Sciweavers

802 search results - page 72 / 161
» Skill Characterization Based on Betweenness
Sort
View
ENTCS
2007
101views more  ENTCS 2007»
13 years 7 months ago
Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...
David J. Pym, Chris M. N. Tofts
JSAC
2006
128views more  JSAC 2006»
13 years 7 months ago
Optimized Transmission for Fading Multiple-Access and Broadcast Channels With Multiple Antennas
In mobile wireless networks, dynamic allocation of resources such as transmit powers, bit-rates, and antenna beams based on the channel state information of mobile users is known t...
Mehdi Mohseni, Rui Zhang, John M. Cioffi
CORR
2010
Springer
93views Education» more  CORR 2010»
13 years 7 months ago
Generalized roof duality and bisubmodular functions
Consider a convex relaxation ^f of a pseudo-boolean function f. We say that the relaxation is totally half-integral if ^f(x) is a polyhedral function with halfintegral extreme poi...
Vladimir Kolmogorov
IJCM
2010
80views more  IJCM 2010»
13 years 6 months ago
On implementing recognizable transductions
Recognizable transductions constitute a proper subclass of rational transductions, characterized by the well-known Mezei’s Theorem. We propose a family of transducers which refl...
Stavros Konstantinidis, Nicolae Santean, S. Yu
TIT
2010
112views Education» more  TIT 2010»
13 years 2 months ago
Asymmetric multilevel diversity coding and asymmetric Gaussian multiple descriptions
We consider the asymmetric multilevel diversity (A-MLD) coding problem, where a set of 2 K 1 information sources, ordered in a decreasing level of importance, is encoded into K me...
Soheil Mohajer, Chao Tian, Suhas N. Diggavi