357 search results - page 59 / 72 » Computing Reachable States for Nonlinear Biological Models |
ICFEM
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
WACV
2008
IEEE
14 years 1 months ago
2008
IEEE
In recent years, many researchers are studying object categorization problem. It is reported that bag of keypoints approach which is based on local features without topological in...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
The World Summit on Sustainable Development (Johannesburg, 2002) encouraged the application of the ecosystem approach by 2010. However, at the same Summit, the signatory States un...
ASM
2008
ASM
13 years 9 months ago
2008
ASM
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...
ICPR
2006
IEEE
14 years 8 months ago
2006
IEEE
Inferring 3D body pose as well as viewpoint from a single silhouette image is a challenging problem. We present a new generative model to represent shape deformations according to...