9015 search results - page 1654 / 1803 » Using Structural Computing to Support Information Integratio... |
163
click to vote
CISC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Despite many good (secure) key agreement protocols based on publickey cryptography exist, secure associations between two wireless devices are often established using sym...
104
click to vote
SPRINGSIM
2008
15 years 4 months ago
2008
Background: Implementation of medical interventions may vary with organization and available capacity. The influence of this source of variability on the cost-effectiveness can be...
159
click to vote
BIOINFORMATICS
2008
15 years 2 months ago
2008
Motivation: Finding a good network null model for protein-protein interaction (PPI) networks is a fundamental issue. Such a model would provide insights into the interplay between...
195
click to vote
WWW
2009
ACM
16 years 3 months ago
2009
ACM
In this paper, we propose a novel framework called SmartMiner for web usage mining problem which uses link information for producing accurate user sessions and frequent navigation...
145
Voted
TPHOL
1997
IEEE
15 years 6 months ago
1997
IEEE
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...