Sciweavers

4651 search results - page 190 / 931
» Data Reduction Using Multiple Models Integration
Sort
View
97
Voted
SPIN
1999
Springer
15 years 7 months ago
Xspin/Project - Integrated Validation Management for Xspin
One of the difficulties of using model checkers “in the large” is the management of all (generated) data during the validation trajectory. It is important that the results obta...
Theo C. Ruys
124
Voted
GLOBECOM
2010
IEEE
15 years 22 days ago
Modeling and Analysis for Reactive-Decision Spectrum Handoff in Cognitive Radio Networks
This paper investigates how to characterize the effect of multiple spectrum handoff delay on the extended data delivery time of the secondary users' connections in cognitive r...
Chung-Wei Wang, Li-Chun Wang, Fumiyuki Adachi
113
Voted
KDD
2003
ACM
146views Data Mining» more  KDD 2003»
16 years 3 months ago
Style mining of electronic messages for multiple authorship discrimination: first results
This paper considers the use of computational stylistics for performing authorship attribution of electronic messages, addressing categorization problems with as many as 20 differ...
Shlomo Argamon, Marin Saric, Sterling Stuart Stein
147
Voted
GIR
2006
ACM
15 years 8 months ago
Inferring Geographical Ontologies from Multiple Resources for Geographical Information Retrieval
Many documents that can be found in the World Wide Web include some kind of geographical information, often in an implicit way. The use of resources like gazetteers and geographic...
Davide Buscaldi, Paolo Rosso, Piedachu Peris
138
Voted
WOWMOM
2000
ACM
96views Multimedia» more  WOWMOM 2000»
15 years 7 months ago
An integrated mobility and traffic model for resource allocation in wireless networks
In a wireless communications network, the movement of mobile users presents significant technical challenges to providing efficient access to the wired broadband network. In this ...
Hisashi Kobayashi, Shun-Zheng Yu, Brian L. Mark