5234 search results - page 404 / 1047 » Method Components - Rationale Revealed |
161
Voted
ICMCS
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, we use the three-dimensionaltopological shape information for human face identification. We propose a new method to represent 3D faces as a topological graph. Fine...
134
Voted
ICMCS
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper, we aim at modeling video sequences that exhibit temporal appearance variation. The dynamic texture model proposed in [6] is effective to model simple dynamic scene...
149
click to vote
SEFM
2005
IEEE
15 years 10 months ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
145
Voted
CAISE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. There is an increasing need to provide methods for describing information systems which incorporate the integrated use of multiple channels of interaction. To achieve thi...
145
click to vote
FMCO
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This tutorial paper describes a framework for modelling several aspects of distributed computing based on Synchronised Hyperedge Replacement (SHR), a graph rewriting form...