1863 search results - page 27 / 373 » Unifying Theories of Objects |
ICMAS
2000
13 years 9 months ago
2000
s This paper introduces an architecture-centric object-oriented design method for MAS (Multi-Agent Systems) using the extended UML (Unified Modeling Language). The UML extension is...
ICMCS
2010
IEEE
13 years 7 months ago
2010
IEEE
In this paper, we propose a unified loop filter for highperformance video coding, which suppresses the quantization noise optimally and improves the objective and subjective qua...
SDM
2011
SIAM
12 years 10 months ago
2011
SIAM
Outlier scores provided by different outlier models differ widely in their meaning, range, and contrast between different outlier models and, hence, are not easily comparable o...
ICFP
2006
ACM
14 years 7 months ago
2006
ACM
In previous work, we proposed a Hoare Type Theory (HTT) which combines effectful higher-order functions, dependent types and Hoare Logic specifications into a unified framework. H...
SIGCSE
2004
ACM
14 years 1 months ago
2004
ACM
Reacting to challenges that have been observed in humancomputer interaction (HCI) education, as well as the multidisciplinary design, science, and engineering underpinnings, we in...