9325 search results - page 1725 / 1865 » The decentralized implementability problem |
139
click to vote
CADE
2007
Springer
15 years 9 months ago
2007
Springer
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...
123
Voted
CCS
2007
ACM
15 years 9 months ago
2007
ACM
In recent years, web applications have become tremendously popular, and nowadays they are routinely used in security-critical environments, such as medical, financial, and milita...
132
click to vote
CIKM
2007
Springer
15 years 9 months ago
2007
Springer
Problems resulting from the management of shared, distributed knowledge has led to ontologies being employed as a solution, in order to effectively integrate information across a...
122
click to vote
CIKM
2007
Springer
15 years 9 months ago
2007
Springer
News reports are being produced and disseminated in overwhelming volume, making it difficult to keep up with the newest information. Most previous research in automatic news organ...
132
Voted
CMSB
2007
Springer
15 years 9 months ago
2007
Springer
We explore some presynaptic mechanisms of the calyx of Held synapse through a stochastic model. The model, drawn from a kinetic approach developed in literature, exploits process c...