981 search results - page 62 / 197 » Semantics-aware trace analysis |
127
click to vote
DRR
2008
15 years 3 months ago
2008
Line segmentation is the first and the most critical pre-processing step for a document recognition/analysis task. Complex handwritten documents with lines running into each other...
143
click to vote
SP
2009
IEEE
15 years 8 months ago
2009
IEEE
Malware authors have recently begun using emulation technology to obfuscate their code. They convert native malware binaries into bytecode programs written in a randomly generated...
115
click to vote
TON
2010
14 years 8 months ago
2010
Understanding Internet access trends at a global scale, i.e., how people use the Internet, is a challenging problem that is typically addressed by analyzing network traces. However...
143
click to vote
ICDAR
2011
IEEE
14 years 1 months ago
2011
IEEE
— This paper describes a Markov random field (MRF) model with weighting parameters optimized by conditional random field (CRF) for on-line recognition of handwritten Japanese cha...
126
click to vote
CAV
2012
Springer
13 years 4 months ago
2012
Springer
A SAT-based incremental, inductive algorithm for model checking CTL properties is proposed. As in classic CTL model checking, the parse graph of the property shapes the analysis. H...