Sciweavers

1893 search results - page 217 / 379
» Computational composites
Sort
View
ICPR
2004
IEEE
14 years 12 months ago
Morphological Tagging Approach in Document Analysis of Invoices
In this paper a morphological tagging approach for document image invoice analysis is described. Tokens close by their morphology and confirmed in their location within different ...
Abdel Belaïd, Yolande Belaïd
ICPR
2004
IEEE
14 years 12 months ago
Object-Based and Event-Based Semantic Video Adaptation
Semantic video adaptation allows to transmit video content with different viewing quality, depending on the relevance of the content from the user's viewpoint. To this end, a...
Marco Bertini, Alberto Del Bimbo, Rita Cucchiara, ...
CHI
2009
ACM
14 years 11 months ago
Tangible message bubbles for children's communication and play
We introduce Tangible Message Bubbles, a new composition and communication tool that invites youngsters to express and record their everyday expressions, play with these original ...
Kimiko Ryokai, Hayes Raffle, Andy Brooks
CAV
2009
Springer
169views Hardware» more  CAV 2009»
14 years 11 months ago
Automatic Verification of Integer Array Programs
We provide a verification technique for a class of programs working on integer arrays of finite, but not a priori bounded length. We use the logic of integer arrays SIL [13] to spe...
Filip Konecný, Marius Bozga, Peter Habermeh...
CHI
2003
ACM
14 years 11 months ago
Conversation thumbnails for large-scale discussions
We present a new interface for large-scale online conversations. Our technique, the Conversation Thumbnail, differs from existing discussion interfaces in two respects. First, it ...
Martin Wattenberg, David R. Millen