2373 search results - page 34 / 475 » On the Theory of Structural Subtyping |
67
Voted
JORS
2010
14 years 8 months ago
2010
There is renewed interest in the development of effective and efficient methods for optimizing models of which the optimizer has no structural know...
MM
1996
ACM
15 years 1 months ago
1996
ACM
Narrative structure models are useful tools for understanding how and why narratives of any medium affect an audience's level of participation in their role of story reconstr...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
A serious defect with the Halpern-Pearl (HP) definition of causality is repaired by combining a theory of causality with a theory of defaults. In addition, it is shown that (despi...
KR
2004
Springer
15 years 3 months ago
2004
Springer
This article presents a general framework for integrating reasoning about object structure and concept taxonomies. The structural relations in the domain of objects discussed are ...
DLOG
2010
14 years 7 months ago
2010
A fragment of type theory with OWL class constructions for types and binary properties is used to formalize SysML Structural Block Diagram models. A structural SysML block diagram ...