6978 search results - page 1246 / 1396 » On Proofs in System P |
3DIM
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper describes how to automatically extract the presence and location of geometrical irregularities on a surface of revolution. To this end a partial 3D scan of the workpiec...
FPT
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper describes the design and implementation of hardware architectures for posture analysis. Posture analysis is an active research area in computer vision. It can be used i...
HICSS
2005
IEEE
14 years 2 months ago
2005
IEEE
Despite the many expected benefits of Web services technology, some organizations are hesitating to adopt Web services on a larger scale and across their organizational boundaries...
HICSS
2005
IEEE
14 years 2 months ago
2005
IEEE
This study extends the theory of Recognition Primed Decision-Making by applying it to groups. Furthermore, we explore the application of Template Theory to collaboration. An exper...
HICSS
2005
IEEE
14 years 2 months ago
2005
IEEE
In this study, we suggest an enterprise architecture (EA) development process model suitable for EA projects limited in scope and time. Several EA process models have been put for...