5600 search results - page 4 / 1120 » Synthesizing robust systems |
104
click to vote
SYNTHESE
2008
15 years 2 months ago
2008
: Prawitz proved a theorem, formalising `harmony' in Natural Deduction systems, which showed that, corresponding to any deduction there is one to the same effect but in which ...
125
click to vote
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
Existing macro systems force programmers to make a choice between clarity of specification and robustness. If they choose clarity, they must forgo validating significant parts of ...
262
click to vote
AVSS
2007
IEEE
15 years 9 months ago
2007
IEEE
In recent years, the use of Intelligent Closed-Circuit Television (ICCTV) for crime prevention and detection has attracted significant attention. Existing face recognition system...
154
click to vote
CIT
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Both encryption and digital watermarking techniques need to be incorporated in a digital rights management framework to address different aspects of content management. W...
123
click to vote
AMFG
2003
IEEE
15 years 8 months ago
2003
IEEE
Evaluations of the state-of-the-art of both academic face recognition algorithms and commercial systems have shown that recognition performance of most current technologies degrad...