5227 search results - page 431 / 1046 » Enterprise modeling using class and instance models |
210
click to vote
FUIN
2007
15 years 7 months ago
2007
We show how properties of an interesting class of imperative programs can be calculated by means of relational modeling and symbolic computation. The ideas of [5, 26] are implement...
250
click to vote
PAMI
2008
15 years 7 months ago
2008
This paper introduces a new benchmark study to evaluate the performance of landmark-based shape correspondence used for statistical shape analysis. Different from previous shape-co...
268
click to vote
JSC
2010
15 years 2 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
225
click to vote
AIRS
2006
Springer
15 years 11 months ago
2006
Springer
Many text documents naturally have two kinds of labels. For example, we may label web pages from universities according to their categories, such as "student" or "fa...
185
click to vote
PRL
2006
15 years 7 months ago
2006
Consider the class of problems in which a target class is well-defined, and an outlier class is ill-defined. In these cases new outlier classes can appear, or the class-conditiona...