Sciweavers

4181 search results - page 599 / 837
» Evaluating Usefulness for Dynamic Classification
Sort
View
SPIN
2007
Springer
14 years 2 months ago
Cartesian Partial-Order Reduction
Verifying concurrent programs is challenging since the number of thread interleavings that need to be explored can be huge even for moderate programs. We present a cartesian semant...
Guy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagi...
CIMCA
2006
IEEE
14 years 2 months ago
Model-driven Walks for Resource Discovery in Peer-to-Peer Networks
In this paper, a distributed and adaptive approach for resource discovery in peer-to-peer networks is presented. This approach is based on the mobile agent paradigm and the random...
Mohamed Bakhouya, Jaafar Gaber
MMM
2006
Springer
133views Multimedia» more  MMM 2006»
14 years 2 months ago
A SVM-based personal recommendation system for TV programs
This paper presents a SVM-based prediction approach for constructing personal recommendation system for TV programs. We have applied Support Vector Machine (SVM) to personal predi...
Jin An Xu, Kenji Araki
INFOSCALE
2006
ACM
14 years 2 months ago
Analysis and comparison of P2P search methods
The popularity and bandwidth consumption attributed to current Peer-to-Peer file-sharing applications makes the operation of these distributed systems very important for the Inte...
Dimitrios Tsoumakos, Nick Roussopoulos
CRV
2005
IEEE
104views Robotics» more  CRV 2005»
14 years 1 months ago
A Hierarchical Non-Parametric Method for Capturing Non-Rigid Deformations
We present a novel approach for measuring image similarity based on the composition of parts. The measure identifies common subregions between the images at multiple sizes, and e...
Ady Ecker, Shimon Ullman