3082 search results - page 276 / 617 » Deviation Analysis: A New Use of Model Checking |
164
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
The proliferation of retail outlets with nearly identical product offerings and similar costs due to market efficiency means that selecting an appropriate market to open a store i...
200
click to vote
SP
2010
IEEE
15 years 10 months ago
2010
IEEE
—To handle the growing flood of malware, security vendors and analysts rely on tools that automatically identify and analyze malicious code. Current systems for automated malwar...
199
click to vote
CC
2012
Springer
14 years 2 months ago
2012
Springer
The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing metho...
163
click to vote
ICDAR
2007
IEEE
16 years 27 days ago
2007
IEEE
Handwriting is an alternative method for entering texts composing Short Message Services. However, a whole new language features the texts which are produced. They include for ins...
217
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we present a novel approach for incorporating structural information into the hidden Markov Modeling (HMM) framework for offline handwriting recognition. Traditiona...