Sciweavers

1992 search results - page 197 / 399
» On the (limited) power of non-equivocation
Sort
View
INFFUS
2006
128views more  INFFUS 2006»
15 years 6 months ago
Distributed detection in a large wireless sensor network
A distributed detection and decision fusion scheme is proposed for a wireless sensor network (WSN) consisting of a large number of sensors. At the fusion center, the total number ...
Ruixin Niu, Pramod K. Varshney, Qi Cheng
DAM
2007
60views more  DAM 2007»
15 years 6 months ago
Restricting SBH ambiguity via restriction enzymes
The expected number of n-base long sequences consistent with a given SBH spectrum grows exponentially with n, which severely limits the potential range of applicability of SBH even...
Steven Skiena, Sagi Snir
ENTCS
2007
80views more  ENTCS 2007»
15 years 6 months ago
Topological Perspective on the Hybrid Proof Rules
We consider the non-orthodox proof rules of hybrid logic from the viewpoint of topological semantics. Topological semantics is more general than Kripke semantics. We show that the...
Balder ten Cate, Tadeusz Litak
PERCOM
2006
ACM
15 years 6 months ago
Operating System Support for Dynamic Code Loading in Sensor Networks
Sensor network operating systems have to operate with limited hardware resources. Constraints on power consumption greatly reduce the resources available to such an operating syst...
Stefan Beyer, Robert Taylor, Ken Mayes
IIE
2007
64views more  IIE 2007»
15 years 6 months ago
MateOnLine: Web Application to Use Mathematica Locally
A web application has been developed using the Microsoft .NET technology, which allows to use the Mathematica software from any personal computer connected to Internet. It is not n...
Javier Bilbao, Eugenio Bravo, Purificación ...