1071 search results - page 131 / 215 » Using Cell-DEVS for Modeling Complex Cell Spaces |
143
Voted
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
Given a 3-valued abstraction of a program (possibly generated using rogram analysis and predicate abstraction) and a temporal logic formula, generalized model checking (GMC) checks...
148
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: A reliable extraction technique for resolving multiple spots in light or electron microscopic images is essential in investigations of the spatial distribution and dyn...
121
Voted
SARA
2009
Springer
15 years 10 months ago
2009
Springer
Constraint Programming is an attractive approach for solving AI planning problems by modelling them as Constraint Satisfaction Problems (CSPs). However, formulating effective cons...
140
Voted
CVPR
2008
IEEE
16 years 5 months ago
2008
IEEE
Without a deformation model, monocular 3D shape recovery of deformable surfaces is severly under-constrained. Even when the image information is rich enough, prior knowledge of th...
113
Voted
SDM
2007
SIAM
15 years 4 months ago
2007
SIAM
We consider the supervised learning of a binary classifier from noisy observations. We use smooth boosting to linearly combine abstaining hypotheses, each of which maps a subcube...