1567 search results - page 57 / 314 » A Mechanized Model of the Theory of Objects |
108
click to vote
ACMICEC
2006
ACM
15 years 7 months ago
2006
ACM
This paper addresses a problem in supply chain management that how scarce resources can be efficiently allocated among competing interests. We present a formal model of allocation...
115
click to vote
TABLEAUX
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents the planning system Pdk (Planning with Domain Knowledge), based on the translation of planning problems into Linear Time Logic theories, in such a way that fin...
SIAMAM
2010
14 years 12 months ago
2010
Abstract. We present a mathematical model for a study of the mechanical properties of endovascular stents in their expanded state. The model is based on the theory of slender curve...
AOSD
2007
ACM
15 years 5 months ago
2007
ACM
Beginning with BETA, a range of programming language mechanisms such as virtual classes (class-valued attributes of objects) have been developed to allow inheritance in the presen...
107
click to vote
ICTAI
1993
IEEE
15 years 5 months ago
1993
IEEE
Tropes, an object-based knowledge representation system, has been added three important intertwined features: constraints, composite objects and tasks. Constraints provide a decla...