2309 search results - page 400 / 462 » Efficient Topological Exploration |
191
click to vote
TSE
2010
15 years 1 months ago
2010
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
164
click to vote
TWC
2010
2010
Rex: A randomized EXclusive region based scheduling scheme for mmWave WPANs with directional antenna
15 years 1 months ago
Millimeter-wave (mmWave) transmissions are promising technologies for high data rate (multi-Gbps) Wireless Personal Area Networks (WPANs). In this paper, we first introduce the con...
184
click to vote
TWC
2010
15 years 1 months ago
2010
Underwater multimedia acoustic sensor networks will enable new underwater applications such as multimedia coastal and tactical surveillance, undersea explorations, picture and vide...
157
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Many countries around the world have initiated national ID card programs in the last decade. These programs are considered of strategic value to governments due to its contributio...
193
click to vote
SAC
2011
ACM
14 years 9 months ago
2011
ACM
Mining sequential rules from large databases is an important topic in data mining fields with wide applications. Most of the relevant studies focused on finding sequential rules a...