7988 search results - page 340 / 1598 » A Useful Undecidable Theory |
188
click to vote
CCS
2006
ACM
15 years 9 months ago
2006
ACM
We propose an integrated process for component-based system development and security risk analysis. The integrated process is evaluated in a case study involving an instant messag...
136
click to vote
FP
1995
15 years 9 months ago
1995
We describe a natural language parser that uses type information to determine the grammatical structure of simple sentences and phrases. This stands in contrast to studies of type...
176
click to vote
VL
1991
IEEE
15 years 9 months ago
1991
IEEE
The Conceptual Programming environment, CP, being developed at the Computing Research Laboratory (CRL), is a complete knowledge representation visual programming environment for u...
172
click to vote
FLAIRS
2008
15 years 8 months ago
2008
As a side effect of e-marketing strategy the number of spam e-mails is rocketing, the time and cost needed to deal with spam as well. Spam filtering is one of the most difficult t...
138
click to vote
ARGMAS
2008
Springer
15 years 7 months ago
2008
Springer
In this paper, we propose a flexible dialogue mechanism through which a set of agents can establish a coherent set of public beliefs. Flexibility and coherence are achieved by dec...