3573 search results - page 279 / 715 » Reasoning about Codata |
161
click to vote
TARK
2009
Springer
15 years 11 months ago
2009
Springer
In numerous economic scenarios, contracting parties may not have a clear picture of all the relevant aspects. While confronted with these unawareness issues, the strategic decisio...
127
click to vote
AIED
2007
Springer
15 years 11 months ago
2007
Springer
Students are starting to use networked visual argumentation tools to discuss, debate, and argue with one another about topics presented by a teacher. However, this development give...
123
click to vote
SAS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
155
click to vote
VOTEID
2007
Springer
15 years 10 months ago
2007
Springer
Performing a good security analysis on the design of a system is an essential step in order to guarantee a reasonable level of protection. However, different attacks and threats m...
122
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
Argumentation-based negotiation (ABN) provides agents with an effective means to resolve conflicts within a multi-agent society. However, to engage in such argumentative encounter...