2041 search results - page 239 / 409 » Modelling Generic Judgements |
130
click to vote
ACSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
Since attackers trust computer systems to tell them the truth, it may be effective for those systems to lie or mislead. This could waste the attacker's resources while permit...
105
click to vote
ECTEL
2006
Springer
15 years 7 months ago
2006
Springer
One way of providing technological support for CoPs is to help participants to produce, structure and share information. As this information becomes more and more multimedia in nat...
147
click to vote
VISUALIZATION
1995
IEEE
15 years 7 months ago
1995
IEEE
This paper presents a conceptual framework and a process model for feature extraction and iconic visualization. Fearaction is viewed as a process of data abstraction, which can pr...
103
click to vote
WSC
2008
15 years 6 months ago
2008
In utilizing the technique of stratification, the user needs to first partition/stratify the sample space; the next task is to determine how to allocate samples to strata. How to ...
133
click to vote
APLAS
2008
ACM
15 years 6 months ago
2008
ACM
Abstract. We propose c2-calculus, which is a second-order polymorphic call-by-value calculus with extensional universal types. Unlike product types or function types in call-by-val...