Sciweavers

1498 search results - page 122 / 300
» Contents Oriented Space
Sort
View
CHI
2003
ACM
14 years 10 months ago
AttrActive windows: dynamic windows for digital bulletin boards
In this paper we describe AttrActive Windows, a novel interface for presenting live, interactive, multimedia content on a network of public, digital, bulletin boards. Implementing...
Laurent Denoue, Les Nelson, Elizabeth F. Churchill
ICDAR
2009
IEEE
14 years 4 months ago
Voronoi++: A Dynamic Page Segmentation Approach Based on Voronoi and Docstrum Features
This paper presents a dynamic approach to document page segmentation. Current page segmentation algorithms lack the ability to dynamically adapt local variations in the size, orie...
Mudit Agrawal, David S. Doermann
ICDAR
2007
IEEE
14 years 4 months ago
A Proposition of Retrieval Tools for Historical Document Images Libraries
In this article, we propose a method of characterization of pictures of old documents based on a texture approach. This characterization is carried out with the help of a multires...
Nicholas Journet, Jean-Yves Ramel, Rémy Mul...
ESWS
2007
Springer
14 years 4 months ago
Putting Business Intelligence into Documents
Business processes are often statically implemented and may not be established ad-hoc. For the realization of dynamic process configurations that demand for changes in these imple...
Tobias Bürger
FMCO
2005
Springer
153views Formal Methods» more  FMCO 2005»
14 years 3 months ago
Smallfoot: Modular Automatic Assertion Checking with Separation Logic
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn