Abstract--We establish that the min-sum messagepassing algorithm and its asynchronous variants converge for a large class of unconstrained convex optimization problems, generalizin...
Abstract--Multi-user buffer control is a closed-loop transmission strategy to ensure users buffers do not underflow or overflow. The dynamic scheme requires buffer state informatio...
Vinay R. Majjigi, Daniel O'Neill, Carolin Huppert,...
This study examines the relationship between two kinds of semantic spaces -- i.e., spaces based on term frequency (tf) and word cooccurrence frequency (co) -- and four semantic re...
In the Mobile Ambients of Cardelli and Gordon an ambient is a unit for mobility, which may contain processes (data) and sub-ambients. Since the seminal work of Cardelli and Gordon...
Gian Luigi Ferrari, Eugenio Moggi, Rosario Puglies...
This focus group study presents our first validation of practices for engineering the coordination requirements in cross organizational Enterprise Resource Planning (ERP) project...