42 search results - page 6 / 9 » Local transformations and conjunctive-query equivalence |
252
Voted
ICVGIP
2008
15 years 8 months ago
2008
Following the phenomenological approach of gestaltists, sparse monocular depth cues such as T- and X-junctions and the local convexity are crucial to identify the shape and depth ...
167
Voted
UAI
2001
15 years 8 months ago
2001
The search space of Bayesian Network structures is usually defined as Acyclic Directed Graphs (DAGs) and the search is done by local transformations of DAGs. But the space of Baye...
181
click to vote
ICPR
2002
IEEE
16 years 10 days ago
2002
IEEE
A medial surface representation of a grey-level volume image is computed. The foreground is reduced to a subset topologically equivalent to the initial foreground and mainly consi...
224
click to vote
FASE
2005
Springer
16 years 28 days ago
2005
Springer
Graphs are a common means to represent structures in models and meta-models of software systems. In this context, the description of model domains by classifying the domain entitie...
211
Voted
LATIN
2004
Springer
16 years 22 days ago
2004
Springer
Equality logic with or without uninterpreted functions is used for proving the equivalence or refinement between systems (hardware verification, compiler’s translation, etc). C...