3082 search results - page 270 / 617 » Deviation Analysis: A New Use of Model Checking |
172
click to vote
ICDAR
2005
IEEE
16 years 5 days ago
2005
IEEE
We present a document understanding system in which the arrangement of lines of text and block separators within a document are modeled by stochastic context free grammars. A gram...
152
click to vote
ESAS
2007
Springer
16 years 22 days ago
2007
Springer
Introducing a new device to a network or to another device is one of the most security critical phases of communication in personal networks. There have been several different pro...
194
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Signal transduction pathways are usually modelled using classical quantitative methods, which are based on ordinary differential equations (ODEs). However, some diffic...
142
click to vote
SMI
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper presents our recent theoretical results on high genus modeling. We introduce a new concept called regular handles. Using regular handles it is possible to increase genu...
168
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents a new enhanced text extraction algorithm from degraded document images on the basis of the probabilistic models. The observed document image is considered as a...