933 search results - page 107 / 187 » A Fully Automatic hp-Adaptivity |
120
click to vote
ACCV
2007
Springer
15 years 10 months ago
2007
Springer
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...
122
click to vote
ICDAR
2005
IEEE
15 years 10 months ago
2005
IEEE
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 ...
117
click to vote
TACAS
2004
Springer
15 years 10 months ago
2004
Springer
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...
139
Voted
FM
2003
Springer
15 years 9 months ago
2003
Springer
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...
152
click to vote
CHI
2009
ACM
15 years 9 months ago
2009
ACM
This research explores how to communicate an individuals’ self-reported emotional state to members of their personal social network, through automatic, computer-generated, perso...