1863 search results - page 29 / 373 » Unifying Theories of Objects |
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
This paper outlines an approach of using engineeringoriented design theories to build bridges between software engineering and human?computer interaction. The main thrust of the a...
NIME
2004
Springer
14 years 1 months ago
2004
Springer
This paper describes a theory for modulated objects based on observations of recent musical interface design trends. The theory implies extensions to an object-based approach to c...
ICFCA
2004
Springer
14 years 1 months ago
2004
Springer
Based on the conceptual representation of objects in space and time as introduced in Temporal Concept Analysis first steps are done into the direction of a conceptual theory of ...
TACS
1994
Springer
13 years 11 months ago
1994
Springer
We introduce simple object calculi that support method override and object subsumption. We give an untyped calculus, typing rules, and equational rules. We illustrate the expressi...
KR
2000
Springer
13 years 11 months ago
2000
Springer
We propose to extend the ontology of logical AI to include approximate objects, approximate predicates and approximate theories. Besides the ontology we treat the relations among ...