430 search results - page 21 / 86 » formats 2005 |
149
click to vote
FORMATS
2003
Springer
15 years 11 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...
189
click to vote
ICAIL
2005
ACM
15 years 11 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...
156
click to vote
CCGRID
2005
IEEE
15 years 11 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 ...
156
click to vote
ICDAR
2005
IEEE
15 years 11 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-...
144
click to vote
ICMCS
2005
IEEE
15 years 11 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...