Sciweavers

36 search results - page 7 / 8
» On Original Generation of Structure in Legal Documents
Sort
View
3DIM
2007
IEEE
14 years 1 months ago
Super-Resolution Stereo- and Multi-View Synthesis from Monocular Video Sequences
This paper presents a new approach for generation of superresolution stereoscopic and multi-view video from monocular video. Such multi-view video is used for instance with multi-...
Sebastian Knorr, Matthias Kunter, Thomas Sikora
EIT
2008
IEEE
14 years 2 months ago
Taming XML: Objects first, then markup
Abstract—Processing markup in object-oriented languages often requires the programmer to focus on the objects generating the markup rather than the more pertinent domain objects....
Matt Bone, Peter F. Nabicht, Konstantin Läufe...
CHI
2009
ACM
14 years 8 months ago
Fly: a tool to author planar presentations
Modern presentation software is still built around interaction metaphors adapted from traditional slide projectors. We provide an analysis of the problems in this application genr...
Leonhard Lichtschlag, Thorsten Karrer, Jan O. Borc...
TPHOL
2008
IEEE
14 years 1 months ago
The Isabelle Framework
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
Makarius Wenzel, Lawrence C. Paulson, Tobias Nipko...
IAJIT
2011
13 years 2 months ago
Multilayer model for Arabic text compression
: This article describes a multilayer model-based approach for text compression. It uses linguistic information to develop a multilayer decomposition model of the text in order to ...
Arafat Awajan