3053 search results - page 6 / 611 » Structured Objects: Modeling and Reasoning |
CORR
2008
Springer
13 years 6 months ago
2008
Springer
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...
JCST
2000
13 years 6 months ago
2000
A review of current computer-aided technologies in design and product development, the evolution of CAD modeling, and a framework of multi-volume CAD modeling system for heterogen...
LICS
1996
IEEE
13 years 11 months ago
1996
IEEE
HRI
2006
ACM
14 years 20 days ago
2006
ACM
The essence of the signal-to-symbol problem consists of associating a symbolic description of an object (e.g., a chair) to a signal (e.g., an image) that captures the real object....
ACCV
1998
Springer
13 years 11 months ago
1998
Springer
This paper isconcerned with learning the canonical gray scalestructure of the images of a classof objects. Structure is defined in terms of the geometry and layout of salientimage...