3229 search results - page 160 / 646 » Theories with the Independence Property |
117
click to vote
ICPR
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper presents a metric based on information theory principles that compares 3D object models to images. The metric is based on the formulation of the mutual information betw...
131
Voted
DALT
2009
Springer
15 years 4 months ago
2009
Springer
This paper generalises the theory of agent refinement from [1] to multi-agent systems in the presence of new coordination mechanisms extended with real time. The generalisation is ...
89
Voted
C3S2E
2008
ACM
15 years 2 months ago
2008
ACM
In this paper we define four operations on musical rhythms that preserve a property called maximal evenness. The operations we describe are shadow, complementation, concatenation,...
67
Voted
IJCAI
2003
15 years 2 months ago
2003
Automated verification is one of the most success ful applications of automated reasoning in com puter science. In automated verification one uses algorithmic techniques to es...
ICPR
2010
IEEE
15 years 1 months ago
2010
IEEE
In this paper, we investigate the possibilities offered by the extension of the connected component trees (cc-trees) to multivariate images. We propose a general framework for ima...