Sciweavers

802 search results - page 72 / 161
» Skill Characterization Based on Betweenness
Sort
View
96
Voted
ENTCS
2007
101views more  ENTCS 2007»
15 years 16 days 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»
15 years 16 days 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»
15 years 4 days 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
95
Voted
IJCM
2010
80views more  IJCM 2010»
14 years 11 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
113
Voted
TIT
2010
112views Education» more  TIT 2010»
14 years 7 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