1886 search results - page 186 / 378 » Verifying and Validating Simulation Models |
101
click to vote
IEICET
2007
15 years 3 months ago
2007
The IEEE 802.11 family of specifications is by far the most prominent and successful technique for accessing WLANs. Because the channel used by wireless devices is a time-varying...
161
click to vote
PERCOM
2010
ACM
15 years 1 months ago
2010
ACM
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...
132
click to vote
FGR
2004
IEEE
15 years 7 months ago
2004
IEEE
Data collection for both training and testing a classifier is a tedious but essential step towards face detection and recognition. All of the statistical methods suffer from this ...
122
click to vote
ICIAR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper presents a method for estimating the orientation of planar text surfaces using the edge-direction distribution (EDD) extracted from the image as input to a neu...
120
click to vote
SAC
2003
ACM
15 years 8 months ago
2003
ACM
Software coordination models and languages describe how agents, resources and processes work together to implement a software system. One of their limitations is that they are use...