Sciweavers

12783 search results - page 475 / 2557
» Experimenting with computing
Sort
View
NCA
2008
IEEE
16 years 1 months ago
On the Application of Formal Methods for Specifying and Verifying Distributed Protocols
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
Marina Gelastou, Chryssis Georgiou, Anna Philippou
SIBGRAPI
2008
IEEE
16 years 1 months ago
A Genetic Programming Approach for Relevance Feedback in Region-Based Image Retrieval Systems
This paper presents a new relevance feedback method for content-based image retrieval using local image features. This method adopts a genetic programming approach to learn user p...
Jefersson Alex dos Santos, Cristiano D. Ferreira, ...
WECWIS
2008
IEEE
134views ECommerce» more  WECWIS 2008»
16 years 1 months ago
Creating User Profiles of Web Visitors Using Zones, Weights and Actions
In this paper, we report our experience in the implementation of a module for creating user profiles of Web visitors by using Zones, Weights and Actions. The module is part of Gug...
Natascha Hoebel, Roberto Zicari
CCGRID
2007
IEEE
16 years 1 months ago
Impact of the execution context on Grid job performances
In this paper, we examine how the execution context of grid jobs can help to refine submission strategies on a production grid. On this kind of infrastructure, the latency highly...
Tristan Glatard, Diane Lingrand, Johan Montagnat, ...
DEXAW
2007
IEEE
135views Database» more  DEXAW 2007»
16 years 1 months ago
Unsupervised Learning of Manifolds via Linear Approximations
In this paper, we examine the application of manifold learning to the clustering problem. The method used is Locality Preserving Projections (LPP), which is chosen because of its ...
Hassan A. Kingravi, M. Emre Celebi, Pragya P. Raja...