1788 search results - page 320 / 358 » Model Theory for Process Algebra |
133
click to vote
CIBCB
2006
IEEE
15 years 9 months ago
2006
IEEE
— Computational prediction of transcription factor’s binding sites and regulatory target genes has great value to the biological studies of cellular process. Existing practices...
128
Voted
CRV
2006
IEEE
15 years 9 months ago
2006
IEEE
A regularization-based approach to 3-D reconstruction from multiple images is proposed. As one of the most widely used multiple-view 3-D reconstruction algorithms, Space Carving c...
133
Voted
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
Kernel-based tracking approaches have proven to be more efficient in computation compared to other tracking approaches such as particle filtering. However, existing kernel-based...
134
Voted
ICNP
2006
IEEE
15 years 9 months ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
112
Voted
WIKIS
2006
ACM
15 years 9 months ago
2006
ACM
A survey of 168 corporate wiki users was conducted. Findings indicate that corporate wikis appear to be sustainable. Users stated three main types of benefits from corporate wikis...