Sciweavers

933 search results - page 107 / 187
» A Fully Automatic hp-Adaptivity
Sort
View
ACCV
2007
Springer
16 years 1 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
ICDAR
2005
IEEE
16 years 12 days 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»
16 years 4 days 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»
16 years 13 hour 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