Sciweavers

347 search results - page 42 / 70
» Overview of INEX 2005
Sort
View
APWEB
2005
Springer
13 years 9 months ago
A Neural Network Approach to Web Graph Processing
In this paper, we will provide an overview of some of the more recent developments in web graph processing using the classic Google page rank equation as popularized by Brins and P...
Ah Chung Tsoi, Franco Scarselli, Marco Gori, Marku...
4OR
2005
158views more  4OR 2005»
13 years 7 months ago
Bilevel programming: A survey
This paper provides an introductory survey of a class of optimization problems known as bilevel programming. We motivate this class through a simple application, and then proceed w...
Benoît Colson, Patrice Marcotte, Gilles Sava...
AC
2005
Springer
13 years 7 months ago
Software model checking with SPIN
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
Gerard J. Holzmann
ADHOC
2005
125views more  ADHOC 2005»
13 years 7 months ago
Security considerations in ad hoc sensor networks
In future smart environments, ad hoc sensor networks will play a key role in sensing, collecting, and disseminating information about environmental phenomena. As sensor networks c...
Fei Hu, Neeraj K. Sharma
ADHOC
2005
144views more  ADHOC 2005»
13 years 7 months ago
Bluetooth scatternet formation: A survey
This paper describes the issue of piconet interconnection for Bluetooth technology. These larger networks, known as scatternets, have the potential to increase networking flexibil...
Roger M. Whitaker, Leigh E. Hodge, Imrich Chlamtac