430 search results - page 21 / 86 » formats 2005 |
71
Voted
FORMATS
2003
Springer
15 years 3 months ago
2003
Springer
Timed automata are known not to be complementable or determinizable. Natural questions are, then, could we check whether a given TA enjoys these properties? These problems are not...
115
Voted
ICAIL
2005
ACM
15 years 3 months ago
2005
ACM
The Dutch Tax and Customs Administration (DTCA) is one of many organizations that deal with a multitude of electronic legal data, from various sources and in different formats. In...
78
Voted
CCGRID
2005
IEEE
15 years 3 months ago
2005
IEEE
Addressing the long term preservation issues associated with scientific data is a complex challenge compounded by: the scale and multidisciplinary nature of the problem; the wide ...
81
Voted
ICDAR
2005
IEEE
15 years 3 months ago
2005
IEEE
This article presents Xed, a reverse engineering tool for PDF documents, which extracts the original document layout structure. Xed mixes electronic extraction methods with state-...
77
Voted
ICMCS
2005
IEEE
15 years 3 months ago
2005
IEEE
Video transcoding is a mechanism to convert video bitstreams from one coding format to other formats. In this operation, the computational complexity and picture quality are the t...