2167 search results - page 154 / 434 » Stochastic Process Algebras |
183
click to vote
ICIP
2007
IEEE
16 years 8 months ago
2007
IEEE
Abstract - The proposed algorithm in this work provides superresolution for color images by using a learning based technique that utilizes both generative and discriminant approach...
190
click to vote
FOCS
2007
IEEE
16 years 22 days ago
2007
IEEE
We consider a variant of the classic multi-armed bandit problem (MAB), which we call FEEDBACK MAB, where the reward obtained by playing each of n independent arms varies according...
160
click to vote
FSEN
2009
Springer
16 years 29 days ago
2009
Springer
We provide an equational theory for Restricted Broadcast Process Theory to reason about ad hoc networks. We exploit an extended algebra called Computed Network Theory to axiomatize...
190
click to vote
NCA
2008
IEEE
16 years 24 days ago
2008
IEEE
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
159
click to vote
QEST
2008
IEEE
16 years 24 days ago
2008
IEEE
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...