5227 search results - page 214 / 1046 » Enterprise modeling using class and instance models |
129
click to vote
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...
146
click to vote
MICCAI
2008
Springer
16 years 6 months ago
2008
Springer
3D shape modeling is a crucial component of rapid prototyping systems that customize shapes of implants and prosthetic devices to a patient's anatomy. In this paper, we presen...
134
click to vote
QEST
2006
IEEE
15 years 11 months ago
2006
IEEE
Stochastic orders can be applied to Markov reward models and used to aggregate models, while introducing a bounded error. Aggregation reduces the number of states in a model, miti...
153
Voted
IJCV
2007
15 years 4 months ago
2007
The shape of a population of geometric entities is characterized by both the common geometry of the population and the variability among instances. In the deformable model approach...
122
click to vote
PAMI
2008
15 years 4 months ago
2008
Suppose a set of arbitrary (unlabeled) images contains frequent occurrences of 2D objects from an unknown category. This paper is aimed at simultaneously solving the following rel...