11862 search results - page 26 / 2373 » Relative information completeness |
SCP
2010
13 years 6 months ago
2010
Refinement is the notion of development between formal specifications. For specifications given in a relational formalism, downward and upward simulations are the standard meth...
ICCS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper has two foci that are intended to be complementary. First, it describes Conzilla as an incarnation of a concept browser. More specifically, as a technical sol...
ECCC
2010
13 years 2 months ago
2010
Consider a graph obtained by taking an edge disjoint union of k complete bipartite graphs.
GRAPP
2009
13 years 5 months ago
2009
Acquired images often present missing, degraded or occluded parts. Inpainting techniques try to infer lacking information, usually from valid information nearby. This work introduc...
CALCO
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Model-to-model (M2M) transformation consists in transforming models from a source to a target language. Many transformation languages exist, but few of them combine a dec...