933 search results - page 60 / 187 » Fully automatic cross-associations |
182
Voted
ICDAR
2005
IEEE
16 years 1 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 ...
165
click to vote
TACAS
2004
Springer
16 years 26 days 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...
201
Voted
FM
2003
Springer
16 years 22 days 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...
216
Voted
CHI
2009
ACM
16 years 6 days 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...
156
Voted
FPL
2009
Springer
16 years 4 days ago
2009
Springer
Custom operators, working at custom precisions, are a key ingredient to fully exploit the FPGA flexibility advantage for high-performance computing. Unfortunately, such operators...