1884 search results - page 145 / 377 » World wide failures |
161
click to vote
SEKE
2004
Springer
15 years 12 months ago
2004
Springer
People often use software for mundane tasks and expect it to be dependable enough for their needs. Unfortunately, the incomplete and imprecise specifications of such everyday sof...
131
click to vote
ECAL
2003
Springer
15 years 11 months ago
2003
Springer
Building large complex minds is difficult because we do not understand what the necessary components are or how they should interact. Even if the components were known it is diffic...
171
click to vote
ISORC
2002
IEEE
15 years 11 months ago
2002
IEEE
Augmented reality and group communication in wireless ad-hoc networks form relatively new fields of research. When using group communication ordering and timeliness requirements ...
207
click to vote
KI
1998
Springer
15 years 10 months ago
1998
Springer
The control of mobile robots acting autonomously in the real world is one of the long-term goals of the field of artificial intelligence. So far the field lacks methods bridging th...
216
click to vote
ICLP
1994
Springer
15 years 10 months ago
1994
Springer
In many cases, a logic program can be divided into two parts, so that one of them, the \bottom" part, does not refer to the predicates de ned in the \top" part. The \bot...