3082 search results - page 358 / 617 » Deviation Analysis: A New Use of Model Checking |
176
click to vote
ACSAC
2006
IEEE
16 years 18 days ago
2006
IEEE
Modern malware often hide the malicious portion of their program code by making it appear as data at compiletime and transforming it back into executable code at runtime. This obf...
172
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
Screen readers, the dominant assistive technology used by visually impaired people to access the Web, function by speaking out the content of the screen serially. Using screen rea...
167
click to vote
BIOADIT
2004
Springer
15 years 12 months ago
2004
Springer
Conventional Difference of Gaussian (DOG) filter is usually used to model the early stage of visual processing. However, convolution operation used with DOG does not explicitly a...
206
click to vote
CIMAGING
2009
15 years 7 months ago
2009
We present a new method for multi-object segmentation in a maximum a posteriori estimation framework. Our method is motivated by the observation that neighboring or coupling objec...
204
click to vote
ICDM
2010
IEEE
15 years 4 months ago
2010
IEEE
Link prediction is a fundamental problem in social network analysis and modern-day commercial applications such as Facebook and Myspace. Most existing research approaches this pro...