9133 search results - page 1325 / 1827 » Modelling perception using image processing algorithms |
190
Voted
BMCBI
2008
15 years 6 months ago
2008
Background: The amount of information stemming from proteomics experiments involving (multi dimensional) separation techniques, mass spectrometric analysis, and computational anal...
165
Voted
DAC
2003
ACM
16 years 7 months ago
2003
ACM
Bounded Model Checking (BMC) based on Boolean Satisfiability (SAT) procedures has recently gained popularity as an alternative to BDD-based model checking techniques for finding b...
202
Voted
PE
2010
Springer
15 years 5 months ago
2010
Springer
We introduce Bayesian Expansion (BE), an approximate numerical technique for passage time distribution analysis in queueing networks. BE uses a class of Bayesian networks to appro...
180
Voted
VMV
2003
15 years 8 months ago
2003
In this paper, we present a new deformable model — 2.5D Active Contour— that is capable of directly extracting shape geometry from 3D unorganized point cloud datasets. The rec...
195
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
This paper presents a needle-tissue interaction model that is a 3D extension of a prior work based on the finite element method. The model is also adapted to accommodate arbitrary ...