5754 search results - page 264 / 1151 » Multi-class Model M |
269
click to vote
TMI
1998
15 years 6 months ago
1998
—In this paper implicit representations of deformable models for medical image enhancement and segmentation are considered. The advantage of implicit models over classical explic...
196
click to vote
DAC
2011
ACM
14 years 6 months ago
2011
ACM
Memory consistency litmus tests are small parallel programs that are designed to illustrate subtle differences between memory consistency models by exhibiting different outcomes...
165
click to vote
KDD
2007
ACM
16 years 7 months ago
2007
ACM
An essential part of an expert-finding task, such as matching reviewers to submitted papers, is the ability to model the expertise of a person based on documents. We evaluate seve...
161
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
155
click to vote
CAISE
2009
Springer
15 years 10 months ago
2009
Springer
Configurable process models integrate different variants of a business process into a single model. Through configuration users of such models can then combine the variants to deri...