Sciweavers

846 search results - page 90 / 170
» Fundamentals of Media Theory
Sort
View
FAC
2008
92views more  FAC 2008»
15 years 6 months ago
Capture-avoiding substitution as a nominal algebra
Substitution is fundamental to the theory of logic and computation. Is substitution something that we define on syntax on a case-by-case basis, or can we turn the idea of substitut...
Murdoch James Gabbay, Aad Mathijssen
IJAHUC
2006
129views more  IJAHUC 2006»
15 years 6 months ago
Optimal distance geographic routing for energy efficient wireless sensor networks
: Wireless sensor networks require energy efficient routing protocols owing to limited resource on the sensor node. In this paper, we develop optimal distance geographic routing (O...
Xin-Ming Huang, Jing Ma
JIKM
2008
90views more  JIKM 2008»
15 years 6 months ago
Personal Knowledge Management: a Study of Knowledge Behaviour of Academicians
Abstract. Current theories of knowledge management postulate a cycle of knowledge creation, refinement and implementation that hinges on the transformation of tacit, or practical, ...
Monika Mittal
IJNSEC
2007
127views more  IJNSEC 2007»
15 years 6 months ago
Markov Chain Modelling of the Probabilistic Packet Marking Algorithm
In this work, we show that the current termination condition of the Probabilistic Packet Marking (PPM) algorithm is not correct for general networks, and this implies the estimati...
Tsz-Yeung Wong, John Chi-Shing Lui, Man Hon Wong
IJPP
2007
91views more  IJPP 2007»
15 years 6 months ago
A Compositional Framework for Developing Parallel Programs on Two-Dimensional Arrays
Computations on two-dimensional arrays such as matrices and images are one of the most fundamental and ubiquitous things in computational science and its vast application areas, bu...
Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Masato...