5684 search results - page 695 / 1137 » Computing with active dendrites |
184
Voted
FMSD
2008
15 years 7 months ago
2008
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
156
click to vote
CANDC
2006
ACM
15 years 7 months ago
2006
ACM
Vertebrate segmentation has been proved to be under a strict temporal control governed by a biological clock, known as the segmentation clock. The present experimental evidence su...
208
click to vote
CVIU
2006
15 years 7 months ago
2006
We explore an approach to 3D people tracking with learned motion models and deterministic optimization. The tracking problem is formulated as the minimization of a differentiable ...
154
click to vote
BMCBI
2007
15 years 7 months ago
2007
Background: Methods are now available for the prediction of interaction sites in protein 3D structures. While many of these methods report high success rates for site prediction, ...
161
click to vote
IJBIDM
2006
15 years 7 months ago
2006
: Appraisal of companies is an important business activity. We mainly apply Bayesian networks for this classification task for Japanese electric company data. Firstly, few standard...