5105 search results - page 604 / 1021 » Approximate Structural Consistency |
130
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Information system models commonly describe organizations in terms of the structure of the data they use, the organization of the processes they perform and the operations that wil...
210
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method for proving termination of programs written in fea...
212
click to vote
CLOR
2006
15 years 10 months ago
2006
We present a "parts and structure" model for object category recognition that can be learnt efficiently and in a weakly-supervised manner: the model is learnt from examp...
196
click to vote
FMCO
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
170
click to vote
ECML
2006
Springer
15 years 10 months ago
2006
Springer
Recently, stability-based techniques have emerged as a very promising solution to the problem of cluster validation. An inherent drawback of these approaches is the computational c...