Sciweavers

5056 search results - page 48 / 1012
» Network Coding Theory
Sort
View
FMCO
2003
Springer
123views Formal Methods» more  FMCO 2003»
14 years 3 months ago
Machine Function Based Control Code Algebras
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
Jan A. Bergstra
SECON
2008
IEEE
14 years 4 months ago
Practical Localized Network Coding in Wireless Mesh Networks
—In this paper, BFLY–a practical localized network coding protocol for wireless mesh networks–is proposed. To supplement forwarding packets in classical networks, intermediat...
Oluwasoji Omiwade, Rong Zheng, Cunqing Hua
ICFP
2009
ACM
14 years 11 months ago
A theory of typed coercions and its applications
A number of important program rewriting scenarios can be recast as type-directed coercion insertion. These range from more theoretical applications such as coercive subtyping and ...
Nikhil Swamy, Michael W. Hicks, Gavin M. Bierman
ICCV
2003
IEEE
15 years 6 days ago
Towards a Mathematical Theory of Primal Sketch and Sketchability
In this paper, we present a mathematical theory for Marr's primal sketch. We first conduct a theoretical study of the descriptive Markov random field model and the generative...
Cheng-en Guo, Song Chun Zhu, Ying Nian Wu
INFSOF
2008
148views more  INFSOF 2008»
13 years 10 months ago
Translating unstructured workflow processes to readable BPEL: Theory and implementation
The Business Process Execution Language for Web Services (BPEL) has emerged as the de-facto standard for implementing processes. Although intended as a language for connecting web ...
Wil M. P. van der Aalst, Kristian Bisgaard Lassen