282 search results - page 7 / 57 » Description Logics for Shape Analysis |
111
click to vote
DLOG
2006
15 years 2 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
106
Voted
SIVP
2008
15 years 17 days ago
2008
Abstract The effective management and exploitation of multimedia documents requires the extraction of the underlying semantics. Multimedia analysis algorithms can produce fairly ri...
CMSB
2006
Springer
15 years 4 months ago
2006
Springer
Based on the logical description of gene regulatory networks developed by R. Thomas, we introduce an enhanced modelling approach that uses timed automata. It yields a refined quali...
97
Voted
IPMI
2007
Springer
16 years 1 months ago
2007
Springer
We introduce Localized Components Analysis (LoCA) for describing surface shape variation in an ensemble of biomedical objects using a linear subspace of spatially localized shape c...
155
Voted
3DIM
2011
IEEE
14 years 20 days ago
2011
IEEE
—Predictive modeling aims at constructing models that predict a target property of an object based on its descriptions. In digital human modeling, it can be applied to predicting...