Sciweavers

5084 search results - page 665 / 1017
» Proving Possibility Properties
Sort
View
CNSR
2006
IEEE
136views Communications» more  CNSR 2006»
16 years 26 days ago
Combining Petri Nets and ns-2: A Hybrid Method for Analysis and Simulation
Network protocol performance and evaluation study is often carried out using a couple of widely used simulation toolkits, such as ns-2 and OPNET. These toolkits usually contain ma...
Qiang Ye, Mike H. MacGregor
GLOBECOM
2006
IEEE
16 years 25 days ago
Any Source Implicit Multicast (ASIMcast)
Abstract— This paper proposes the ASIMcast (Any-Source Implicit Multicast) protocol which builds a bidirectional tree for routing of multicast traffic. ASIMcast includes feature...
Laurent Nadeau, Tricha Anjali
ICDCS
2006
IEEE
16 years 25 days ago
Routing in Networks with Low Doubling Dimension
This paper studies compact routing schemes for networks with low doubling dimension. Two variants are explored, name-independent routing and labeled routing. The key results obtai...
Ittai Abraham, Cyril Gavoille, Andrew V. Goldberg,...
192
Voted
ICRA
2006
IEEE
111views Robotics» more  ICRA 2006»
16 years 25 days ago
Placement and Distributed Deployment of Sensor Teams for Triangulation based Localization
— We address the problem of placing a sensor network so as to minimize the uncertainty in estimating the position of targets. The novelty of our formulation is in the sensing mod...
Volkan Isler
IJCNN
2006
IEEE
16 years 24 days ago
Predictive Uncertainty in Environmental Modelling
Abstract— Artificial neural networks have proved an attractive approach to non-linear regression problems arising in environmental modelling, such as statistical downscaling, sh...
Gavin C. Cawley, Malcolm R. Haylock, Stephen R. Do...