1981 search results - page 76 / 397 » Model-Checking Hierarchical Structures |
139
click to vote
ICCAD
2002
IEEE
16 years 5 hour ago
2002
IEEE
In this paper we present an advanced functional extraction tool for automatic generation of high-level RTL from switch-level circuit netlist representation. The tool is called FEV...
110
click to vote
IJON
2006
15 years 3 months ago
2006
This paper proposes a neural network model that extracts axes of symmetry from visual patterns. The input patterns can be line drawings, plane figures or gray-scaled natural image...
108
click to vote
CEC
2008
IEEE
15 years 9 months ago
2008
IEEE
— Hierarchical menus are widely used as a standard user interface in modern applications that use GUIs. The performance of the menu depends on many factors: structure, layout, co...
137
click to vote
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract— In this paper, we present a new hierarchical optimization solution to the graph-based simultaneous localization and mapping (SLAM) problem. During online mapping, the a...
132
click to vote
EDBT
2008
ACM
16 years 3 months ago
2008
ACM
In situations where class labels are known for a part of the objects, a cluster analysis respecting this information, i.e. semi-supervised clustering, can give insight into the cl...