2041 search results - page 302 / 409 » Modelling Generic Judgements |
108
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Current mechanisms for evaluating the trustworthiness of an agent within an electronic marketplace depend either on using a history of interactions or on recommendations from othe...
129
Voted
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
116
Voted
ADC
2004
Springer
15 years 9 months ago
2004
Springer
Workflow technology has met with success in a variety of industries, although several limitations have emerged. One such drawback is the inflexibility of specification languages, ...
110
Voted
VLDB
2004
ACM
15 years 9 months ago
2004
ACM
As CPUs become more powerful with Moore’s law and memory latencies stay constant, the impact of the memory access performance bottleneck continues to grow on relational operator...
113
Voted
CONTEXT
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. In a previous paper, we proposed a first formal and conceptual comparison between the two most important formalizations of context in AI: Propositional Logic of Context ...