1418 search results - page 195 / 284 » How to Explain Mistakes |
158
click to vote
SIGUCCS
2004
ACM
15 years 11 months ago
2004
ACM
This paper explains two projects dealing with spam recently completed at Iowa State University (ISU). The first project was undertaken by a team composed of members of the campus ...
170
click to vote
AOSE
2004
Springer
15 years 11 months ago
2004
Springer
AOSE methodologies and models borrow various abstractions and concepts from the organization and sociology disciplines. Although they all ti-agent system as organized society, the ...
147
click to vote
CP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Much progress has been made in terms of boosting the effectiveness of backtrack style search methods. In addition, during the last decade, a much better understanding of ...
167
click to vote
ICMI
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we introduce input adaptability as the ability of an application to exploit alternative sets of input devices effectively and offer users a way of adapting input in...
158
click to vote
IFM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...