1567 search results - page 61 / 314 » A Mechanized Model of the Theory of Objects |
130
click to vote
FOCS
2008
IEEE
15 years 8 months ago
2008
IEEE
The central problem in computational mechanism design is the tension between incentive compatibility and computational ef ciency. We establish the rst significant approximability ...
145
click to vote
SCM
1998
15 years 2 months ago
1998
This paper presents a technique for product configuration modelling based on object-orientation and attribute grammars. The technique allows efficient interactive configurator tool...
145
click to vote
CMOT
2011
14 years 5 months ago
2011
Artificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper exp...
113
click to vote
SEMWEB
2007
Springer
15 years 7 months ago
2007
Springer
We present an ontology of objects, functions, and generic shape representation that supports form-function reasoning. By reasoning from the mechanical and other functions of object...
DICTA
2007
15 years 3 months ago
2007
A scheme, named tower of knowledge (ToK), is proposed for interpreting 3D scenes. The ToK encapsulates causal dependencies between object appearance and functionality. We demonstr...