Sciweavers

933 search results - page 107 / 187
» A Fully Automatic hp-Adaptivity
Sort
View
91
Voted
ACCV
2007
Springer
15 years 6 months ago
Identifying Foreground from Multiple Images
In this paper, we present a novel foreground extraction method that automatically identifies image regions corresponding to a common space region seen from multiple cameras. We as...
Wonwoo Lee, Woontack Woo, Edmond Boyer
89
Voted
ICDAR
2005
IEEE
15 years 6 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 6 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
105
Voted
FM
2003
Springer
107views Formal Methods» more  FM 2003»
15 years 5 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
104
Voted
CHI
2009
ACM
15 years 5 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