Sciweavers

8555 search results - page 126 / 1711
» Property Based Coordination
Sort
View
ISCIS
2005
Springer
14 years 2 months ago
Characterizing Gnutella Network Properties for Peer-to-Peer Network Simulation
A P2P network that is overlayed over Internet can consist of thousands, or even millions of nodes. To analyze the performance of a P2P network, or an algorithm or protocol designed...
Selim Ciraci, Ibrahim Korpeoglu, Özgür U...
CASSIS
2004
Springer
14 years 21 days ago
Verification of Safety Properties in the Presence of Transactions
The JAVA CARD transaction mechanism can ensure that a sequence of statements either is executed to completion or is not executed at all. Transactions make verification of JAVA CARD...
Reiner Hähnle, Wojciech Mostowski
JMLR
2008
111views more  JMLR 2008»
13 years 9 months ago
Ranking Categorical Features Using Generalization Properties
Feature ranking is a fundamental machine learning task with various applications, including feature selection and decision tree learning. We describe and analyze a new feature ran...
Sivan Sabato, Shai Shalev-Shwartz
DEXAW
2006
IEEE
130views Database» more  DEXAW 2006»
14 years 3 months ago
Exploiting Geometrical Properties on Protein Similarity Search
This paper discusses about several combinations of protein similarity measurement-methods, with respect to normalization, spatial partitions, geometrical properties, and distance ...
Saiful Akbar, Josef Küng, Roland Wagner
ICDM
2005
IEEE
177views Data Mining» more  ICDM 2005»
14 years 2 months ago
Pruning Social Networks Using Structural Properties and Descriptive Attributes
Scale is often an issue with understanding and making sense of large social networks. Here we investigate methods for pruning social networks by determining the most relevant rela...
Lisa Singh, Lise Getoor, Louis Licamele