Sciweavers

2419 search results - page 338 / 484
» A Simple DOCSIS Simulator
Sort
View
123
Voted
PCI
2009
Springer
15 years 8 months ago
Query Sensitive Storage for Wireless Sensor Networks
—Storage management in wireless sensor networks is an area that has started to attract significant attention, and several methods have been proposed, such as Local Storage (LS),...
Alexis Papadimitriou, Dimitrios Katsaros, Yannis M...
132
Voted
CAV
2001
Springer
119views Hardware» more  CAV 2001»
15 years 8 months ago
Certifying Model Checkers
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
Kedar S. Namjoshi
CT
2001
Springer
15 years 8 months ago
Experimental Politics: Ways of Virtual Worldmaking
We think that Massively Multi-user Online Role-Playing Games (MMORPGs) will soon evolve into Online Societies of political and economic interest. Studying them will require a metho...
Max Borders, Doug Bryan
121
Voted
ECML
2001
Springer
15 years 8 months ago
Iterative Double Clustering for Unsupervised and Semi-supervised Learning
We present a powerful meta-clustering technique called Iterative Double Clustering (IDC). The IDC method is a natural extension of the recent Double Clustering (DC) method of Slon...
Ran El-Yaniv, Oren Souroujon
109
Voted
RT
2001
Springer
15 years 8 months ago
An Illumination Model for a Skin Layer Bounded by Rough Surfaces
In this paper we present a novel illumination model that takes into account multiple anisotropic scattering in a layer bounded by two rough surfaces. We compute the model by a dis...
Jos Stam