26496 search results - page 5267 / 5300 » An Approach to Computing Ethics |
ACTA
1998
14 years 9 months ago
1998
The paper focusses on the logical backgrounds of the Dijkstra-Scholten program development style for correct programs. For proving the correctness of a program (i.e. the fact that...
97
Voted
AI
1998
Springer
14 years 9 months ago
1998
Springer
Task execution in multi-agent environments may require cooperation among agents. Given a set of agents and a set of tasks which they have to satisfy, we consider situations where ...
CGF
1998
14 years 9 months ago
1998
Thin plate splines are a well known entity of geometric design. They are defined as the minimizer of a variational problem whose differential operators approximate a simple notio...
109
click to vote
AI
1999
Springer
14 years 9 months ago
1999
Springer
Coalition formation is a key topic in multiagent systems. One may prefer a coalition structure that maximizes the sum of the values of the coalitions, but often the number of coal...
103
click to vote
IVC
2002
14 years 9 months ago
2002
The classification of human body motion is an integral component for the automatic interpretation of video sequences. In a first part we present an effective approach that uses mi...