1769 search results - page 205 / 354 » An implementation of argument based discussion |
165
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
Ad-hoc data exchange, e.g., by sending email attachments, leads to multiple copies or versions of a document at dispersed nodes in a network. However, their relationships such as ...
185
click to vote
FC
2006
Springer
15 years 10 months ago
2006
Springer
Although Instant Messaging (IM) services are now relatively long-standing and very popular as an instant way of communication over the Internet, they have received little attention...
190
click to vote
FROCOS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We discuss a pragmatic approach to integrate computer algebra into proof planning. It is based on the idea to separate computation and veri cation and can thereby exploit...
167
click to vote
ILP
2000
Springer
15 years 10 months ago
2000
Springer
Induction of recursive theories in the normal ILP setting is a complex task because of the non-monotonicity of the consistency property. In this paper we propose computational solu...
171
click to vote
OOIS
2000
Springer
15 years 10 months ago
2000
Springer
When we model a phenomenon we apply a perspective on the phenomenon. The perspective decides which properties we include in the model. It also decides how we conceive a phenomenon ...