3965 search results - page 690 / 793 » Effectivity of Regular Spaces |
149
click to vote
CSFW
2011
IEEE
14 years 4 months ago
2011
IEEE
—We present a Horn-clause-based framework for analysing security protocols that use platform configuration registers (PCRs), which are registers for maintaining state inside the...
136
click to vote
ICDAR
2011
IEEE
14 years 4 months ago
2011
IEEE
—Table detection is always an important task of document analysis and recognition. In this paper, we propose a novel and effective table detection method via visual separators an...
141
click to vote
ICDAR
2011
IEEE
14 years 4 months ago
2011
IEEE
— This paper describes a lexicon-driven approach to on-line handwritten Japanese disease name recognition using a time-synchronous method. A trie lexicon is constructed from a di...
252
click to vote
IJCV
2010
15 years 2 months ago
2010
We propose a novel approach to understanding
activities from their partial observations monitored through
multiple non-overlapping cameras separated by unknown time
gaps. In our...
163
click to vote
CORR
2012
Springer
14 years 4 days ago
2012
Springer
Abstract— In this paper, we consider a class of continuoustime, continuous-space stochastic optimal control problems. Building upon recent advances in Markov chain approximation ...