3028 search results - page 447 / 606 » Integrating Temporal Logics |
VRST
2009
ACM
14 years 4 months ago
2009
ACM
For the convenient reuse of large-scale 3D motion capture data, browsing and searching methods for the data should be explored. In this paper, an efficient indexing and retrieval...
ISPW
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract. Organizations are increasingly moving to the global software development (GSD) model because of significant benefits that can accrue. However, GSD is fraught with difficu...
IV
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper we present a new approach for using semantic wikis for collaborative patent search and annotation. We describe an extension that allows integrating interactive visua...
IV
2008
IEEE
14 years 4 months ago
2008
IEEE
In many application fields, the statistical properties of data sets are of great interest for data analysts. Since local variations can occur especially in large data sets, it is...
SADFE
2008
IEEE
14 years 4 months ago
2008
IEEE
Secure logs are powerful tools for building systems that must resist forgery, prove temporal relationships, and stand up to forensic scrutiny. The proofs of order and integrity en...