318 search results - page 19 / 64 » Formal Description of Autopoiesis Based on the Theory of Cat... |
AAMAS
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. Based on the formal-ontological paradigm of Constructive Descriptions and Situations, we propose a definition of social collectives that includes social agents, plans, no...
DAC
2002
ACM
14 years 7 months ago
2002
ACM
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...
MM
2003
ACM
13 years 12 months ago
2003
ACM
We present a method being developed to extract information about characters’ emotions in films. It is suggested that this information can help describe higher levels of multimed...
OOPSLA
2010
Springer
13 years 5 months ago
2010
Springer
Tribal Ownership unifies class nesting and object ownership. Tribal Ownership is based on Tribe, a language with nested classes and object families. In Tribal Ownership, a progra...
TOPLAS
2008
13 years 5 months ago
2008
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...