2904 search results - page 551 / 581 » Valuing Design Repair |
147
click to vote
ICIP
1995
IEEE
15 years 7 months ago
1995
IEEE
This paper develops an error bound for narrow bandwidth Gabor filters synthesized using multiple stages. It is shown that the error introduced by approximating narrow bandwidth Ga...
170
click to vote
SP
1991
IEEE
15 years 7 months ago
1991
IEEE
SRI International’s real-time intrusion-detection expert system (IDES) system contains a statistical subsystem that observes behavior on a moniioreci cornpuier system and adapti...
165
click to vote
POPL
2010
ACM
15 years 6 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
132
click to vote
FLAIRS
2007
15 years 6 months ago
2007
In this study, we compared Entailer, a computational tool that evaluates the degree to which one text is entailed by another, to a variety of other text relatedness metrics (LSA, ...
121
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
As cryptographic protocols execute they accumulate information such as values and keys, and evidence of properties about this information. As execution proceeds, new information b...