Sciweavers

3605 search results - page 406 / 721
» Analysis and Applications of the XDI model
Sort
View
ICDAR
2011
IEEE
14 years 6 months ago
A Novel Italic Detection and Rectification Method for Chinese Advertising Images
—The italic detection and slant rectification is a key step of optical character recognition (OCR). In this paper, a novel method is proposed to detect and rectify italic charact...
Jie Liu, Heping Li, Shuwu Zhang, Wei Liang
TCAD
2002
146views more  TCAD 2002»
15 years 6 months ago
Static scheduling of multidomain circuits for fast functional verification
With the advent of system-on-a-chip design, many application specific integrated circuits (ASICs) now require multiple design clocks that operate asynchronously to each other. This...
Murali Kudlugi, Russell Tessier
INFOCOM
2010
IEEE
15 years 5 months ago
How do Superpeer Networks Emerge?
—In this paper, we develop an analytical framework which explains the emergence of superpeer networks on execution of the commercial peer-to-peer bootstrapping protocols by incom...
Bivas Mitra, Abhishek Kumar Dubey, Sujoy Ghose, Ni...
PUC
2010
121views more  PUC 2010»
15 years 5 months ago
Expressing and interpreting emotional movements in social games with robots
This paper provides a framework for recording, analyzing and modeling of 3 dimensional emotional movements for embodied game applications. To foster embodied interaction, we need i...
Emilia I. Barakova, Tino Lourens
SPIN
2010
Springer
15 years 5 months ago
Analysing Mu-Calculus Properties of Pushdown Systems
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
Matthew Hague, C.-H. Luke Ong