16430 search results - page 470 / 3286 » On Computable Tree Functions |
177
click to vote
PERCOM
2008
ACM
16 years 6 months ago
2008
ACM
The IEEE 802.15.4 standard defines a set of procedures to set-up a Low-Rate Wireless Personal Area Network where nodes self-organize into a logical communication structure through ...
215
click to vote
EWSN
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. Sink mobility creates new challenges for several sensor network applications. In mobile sink environments, each sink must propagate its current location continuously, thr...
181
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Higher-order recursion schemes are systems of rewrite rules on typed non-terminal symbols, which can be used to define infinite trees. The Global Modal Mu-Calculus Model Checking...
169
click to vote
WAIM
2009
Springer
16 years 1 months ago
2009
Springer
Contained rewriting and maximal contained rewriting of tree pattern queries using views have been studied recently for the class of tree patterns involving /, //, and []. Given que...
156
click to vote
FIMH
2009
Springer
16 years 1 months ago
2009
Springer
Computational models of myocardial perfusion in normal as well as pathological conditions have contributed to recent advances in the personalized diagnosis and treatment of cardiov...