Sciweavers

7971 search results - page 418 / 1595
» On unbounded operators and applications
Sort
View
DCOSS
2009
Springer
16 years 1 months ago
Online Coding for Reliable Data Transfer in Lossy Wireless Sensor Networks
Bulk transport underlies data exfiltration and code update facilities in WSNs, but existing approaches are not designed for highly lossy and variable-quality links. We observe tha...
Anthony D. Wood, John A. Stankovic
AB
2008
Springer
16 years 1 months ago
Neural Algebra and Consciousness: A Theory of Structural Functionality in Neural Nets
Abstract. Thoughts are spatio-temporal patterns of coalitions of firing neurons and their interconnections. Neural algebras represent these patterns as formal algebraic objects, a...
Erwin Engeler
ICDCSW
2006
IEEE
16 years 28 days ago
An Event Service Supporting Autonomic Management of Ubiquitous Systems for e-Health
— Healthcare and economic drivers have increased the desire to deploy systems for continuous monitoring of patients, both in hospital and outpatient settings. Such systems must o...
Stephen Strowes, Nagwa Badr, Steven Heeps, Emil Lu...
JVA
2006
IEEE
16 years 27 days ago
Natural Deduction Calculus for Computation Tree Logic
We present a natural deduction calculus for the computation tree logic CTL defined with the full set of classical and temporal logic operators. The system extends the natural ded...
Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin
HICSS
2005
IEEE
183views Biometrics» more  HICSS 2005»
16 years 15 days ago
A Disruption Analysis in the Mobile Payment Market
Mobile payments are predicted to have a bright future as m-commerce becomes more popular. However, this promising application has not been as successful as anticipated. This can b...
Jan Ondrus, Yves Pigneur