4609 search results - page 347 / 922 » Automatic Generation of Sigma-Protocols |
187
click to vote
TSE
2010
15 years 1 months ago
2010
The increasing reliance put on networked computer systems demands higher levels of dependability. This is even more relevant as new threats and forms of attack are constantly being...
184
click to vote
ICSE
2011
IEEE-ACM
14 years 10 months ago
2011
IEEE-ACM
Continuous quality assessment is crucial for the long-term success of evolving software. On the one hand, code analysis tools automatically supply quality indicators, but do not p...
234
click to vote
PAMI
2012
13 years 9 months ago
2012
—Attention is an integral part of the human visual system and has been widely studied in the visual attention literature. The human eyes fixate at important locations in the scen...
227
click to vote
KDD
2012
ACM
13 years 9 months ago
2012
ACM
Intelligence analysts grapple with many challenges, chief among them is the need for software support in storytelling, i.e., automatically ‘connecting the dots’ between dispar...
193
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
We propose an adaptive figure-ground classification algorithm to automatically extract a foreground region using a user-provided bounding-box. The image is first over-segmented wi...