3053 search results - page 6 / 611 » Structured Objects: Modeling and Reasoning |
111
click to vote
CORR
2008
Springer
15 years 1 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
15 years 1 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
15 years 5 months ago
1996
IEEE
114
click to vote
HRI
2006
ACM
15 years 7 months 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....
106
click to vote
ACCV
1998
Springer
15 years 5 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...