5851 search results - page 183 / 1171 » Coordination as a Direct Process |
167
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
In this paper, we propose a 3D geometry compression technique for densely sampled surface meshes. Based on a 3D multiresolution analysis (performed by a 3D Discrete Wavelet Transf...
140
click to vote
AIMSA
2008
Springer
16 years 25 days ago
2008
Springer
This paper presents the Agent MOdeling LAnguage (AMOLA). This language provides the syntax and semantics for creating models of multi-agent systems covering the analysis and design...
176
click to vote
CAV
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
175
click to vote
ICPR
2010
IEEE
16 years 1 months ago
2010
IEEE
Hand pointing has been an intuitive gesture for human interaction with computers. Big challenges are still posted for accurate estimation of finger pointing direction in a 3D spac...
150
click to vote
APCCM
2006
15 years 7 months ago
2006
Current enterprise systems rely heavily on the modelling and enactment of business processes. One of the key criteria for a business process is to represent not just the behaviour...