783 search results - page 13 / 157 » Dynamic Self-Assembly and Computation: From Biological to In... |
FUIN
2010
13 years 5 months ago
2010
Abstract. Complex biological systems involve incorporated behaviors of numerous processes, mechanisms and objects. However, experimental analysis, by its nature, divides biological...
CMSB
2006
Springer
14 years 4 days ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
IJCNN
2006
IEEE
14 years 2 months ago
2006
IEEE
— Our paper presents a fully automated computational mechanism for targeting a space-variant retina based on the highlevel visual content of a scene. Our retina’s receptive fie...
BMCBI
2005
13 years 8 months ago
2005
Background: Recent advances in molecular biology techniques provide an opportunity for developing detailed mathematical models of biological processes. An iterative scheme is intr...
SAC
2004
ACM
14 years 1 months ago
2004
ACM
Text classification systems on biomedical literature aim to select relevant articles to a specific issue from large corpora. Most systems with an acceptable accuracy are based o...