165 search results - page 21 / 33 » Why Machine Ethics |
COLT
2008
Springer
13 years 11 months ago
2008
Springer
The problem of how a teacher and a learner can cooperate in the process of learning concepts from examples in order to minimize the required sample size without ācoding tricksā...
ECTEL
2010
Springer
13 years 11 months ago
2010
Springer
Changes in the underpinning technologies for TEL is occurring at a pace that we have never before experienced, and this is unlikely to slow down. This necessitates a broader and mo...
AC
2008
Springer
13 years 10 months ago
2008
Springer
The historical context surrounding the birth of the DARPA High Productivity Computing Systems (HPCS) program is important for understanding why federal government agencies launche...
CONEXT
2010
ACM
13 years 7 months ago
2010
ACM
Measurements of the Internet for law enforcement purposes must be forensically valid. We examine the problems inherent in using various network- and applicationlevel identifiers i...
VMCAI
2005
Springer
14 years 3 months ago
2005
Springer
When a system fails to satisfy its speciļ¬cation, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...