Sciweavers

933 search results - page 60 / 187
» Fully automatic cross-associations
Sort
View
ICDAR
2005
IEEE
15 years 12 months ago
Camera-based Degraded Character Segmentation into Individual Components
In this article we present a novel fully automatic character segmentation for camera-based images. This is a top-down approach inspired by the human visual system: the high level ...
Céline Mancas-Thillou, Matei Mancas, Bernar...
TACAS
2004
Springer
135views Algorithms» more  TACAS 2004»
15 years 11 months ago
Liveness with Incomprehensible Ranking
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...
Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck
FM
2003
Springer
107views Formal Methods» more  FM 2003»
15 years 11 months ago
A Formal Framework for Modular Synchronous System Design
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
Maria-Cristina V. Marinescu, Martin C. Rinard
CHI
2009
ACM
15 years 11 months ago
Facilitating benign deceit in mediated communication
This research explores how to communicate an individuals’ self-reported emotional state to members of their personal social network, through automatic, computer-generated, perso...
Wendy Moncur, Judith Masthoff, Ehud Reiter
FPL
2009
Springer
85views Hardware» more  FPL 2009»
15 years 11 months ago
Generating high-performance custom floating-point pipelines
Custom operators, working at custom precisions, are a key ingredient to fully exploit the FPGA flexibility advantage for high-performance computing. Unfortunately, such operators...
Florent de Dinechin, Cristian Klein, Bogdan Pasca