11484 search results - page 430 / 2297 » Modeling in the Large and Modeling in the Small |
214
click to vote
ADHOCNOW
2003
Springer
16 years 5 days ago
2003
Springer
This paper models an ad-hoc network as a continuum of nodes, ignoring edge effects, to find how the traffic scales with N, the number of nodes. We obtain expressions for the traffi...
175
click to vote
ICRA
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper, we introduce two methods for the registration of multiple range images when a prior estimate of the transformationbetween views is not available and the overlap bet...
195
click to vote
IH
1998
Springer
15 years 11 months ago
1998
Springer
Theoretical modeling of watermarks allow prediction of the detector reliability and facilitates the development of more reliable systems. In particular, mathematical evaluation is ...
177
click to vote
INFOCOM
1997
IEEE
15 years 11 months ago
1997
IEEE
The non-deterministic behaviors in telecommunication services are well-known as one of the most typical Feature Interactions, and they should be detected and eliminated from the t...
169
click to vote
TAPSOFT
1997
Springer
15 years 11 months ago
1997
Springer
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...