1
Published 2013
Table of Contents: ... for Conversion of Unstructured Text Documents into Structured Form -- Performing Web Log Analysis and Predicting...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... and Granularity -- Impasse-Driven Reasoning in Proof Planning -- Literate Proving: Presenting and Documenting...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Correction on Technical Documents -- Verification of Language Based Fault-Tolerance -- Applying Stacking...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... Coding with Spatial Scalability -- Efficient Intra Prediction Mode Decision for H.264 Video -- Optimum...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ...Best Paper -- Improving Placeholders in Digital Documents -- Best Student Paper -- Towards Ontology...
View full text
Electronic eBook