Sciweavers

2542 search results - page 274 / 509
» Computing Cartograms with Optimal Complexity
Sort
View
FSTTCS
2010
Springer
14 years 10 months ago
Generalized Mean-payoff and Energy Games
In mean-payoff games, the objective of the protagonist is to ensure that the limit average of an infinite sequence of numeric weights is nonnegative. In energy games, the objectiv...
Krishnendu Chatterjee, Laurent Doyen, Thomas A. He...
GLOBECOM
2010
IEEE
14 years 10 months ago
Relay Station Placement for Cooperative Communications in WiMAX Networks
The recently emerging WiMAX (IEEE 802.16) is a promising telecommunication technology to provide low-cost, high-speed and long-range wireless communications. To meet the growing de...
Dejun Yang, Xi Fang, Guoliang Xue, Jian Tang
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
14 years 10 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
ICIP
2009
IEEE
14 years 10 months ago
Synthesis-in-the-loop for video texture coding
In this paper, we present an algorithm using dynamic texture synthesis for closed-loop video coding. Video textures, or so-called dynamic textures are video sequences with moving ...
Aleksandar Stojanovic, Mathias Wien, Thiow Keng Ta...
154
Voted
AI
2011
Springer
14 years 4 months ago
Parallelizing a Convergent Approximate Inference Method
Probabilistic inference in graphical models is a prevalent task in statistics and artificial intelligence. The ability to perform this inference task efficiently is critical in l...
Ming Su, Elizabeth Thompson