1159 search results - page 16 / 232 » Binary Decision Graphs |
DAC
2011
ACM
12 years 7 months ago
2011
ACM
3DIM
2005
IEEE
14 years 1 months ago
2005
IEEE
Automatic range image registration without any knowledge of the viewpoint requires identification of common regions across different range images and then establishing point corr...
APN
2008
Springer
13 years 9 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
PAMI
2006
13 years 7 months ago
2006
A binary linear programming formulation of the graph edit distance for unweighted, undirected graphs with vertex attributes is derived and applied to a graph recognition problem. ...
APPROX
2009
Springer
14 years 2 months ago
2009
Springer
Property testing is concerned with deciding whether an object (e.g. a graph or a function) has a certain property or is “far” (for some definition of far) from every object w...