Sciweavers

1922 search results - page 307 / 385
» Systems biology, models, and concurrency
Sort
View
98
Voted
TCSV
2010
14 years 7 months ago
A Hierarchical Bayesian Generation Framework for Vacant Parking Space Detection
In this paper, from the viewpoint of scene understanding, a 3-layer Bayesian hierarchical framework (BHF) is proposed for robust vacant parking space detection. In practice, the ch...
Chingchun Huang, Sheng-Jyh Wang
115
Voted
BMCBI
2010
112views more  BMCBI 2010»
15 years 28 days ago
A parameter-adaptive dynamic programming approach for inferring cophylogenies
Background: Coevolutionary systems like hosts and their parasites are commonly used model systems for evolutionary studies. Inferring the coevolutionary history based on given phy...
Daniel Merkle, Martin Middendorf, Nicolas Wieseke
FAC
2007
128views more  FAC 2007»
15 years 23 days ago
Verifying a signature architecture: a comparative case study
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
David A. Basin, Hironobu Kuruma, Kunihiko Miyazaki...
LAWEB
2005
IEEE
15 years 6 months ago
Incentive Networks
The concurrent growth of on-line communities exhibiting large-scale social structure, and of large decentralized peer-to-peer file-sharing systems, has stimulated new interest in...
Prabhakar Raghavan
ASIAN
2005
Springer
96views Algorithms» more  ASIAN 2005»
15 years 6 months ago
Query Incentive Networks
The concurrent growth of on-line communities exhibiting large-scale social structure, and of large decentralized peer-to-peer file-sharing systems, has stimulated new interest in...
Prabhakar Raghavan