180 search results - page 20 / 36 » How to safely close a discussion |
134
Voted
ICST
2010
IEEE
15 years 12 days ago
2010
IEEE
— Increasingly, licensing and safety regulatory bodies require the suppliers of software-intensive, safety-critical systems to provide an explicit software safety case – a stru...
228
Voted
SIGIR
1998
ACM
15 years 1 months ago
1998
ACM
Ranked queries are used to locate relevant documents in text databases. In a ranked query a list of terms is specified, then the documents that most closely match the query are re...
108
Voted
CCR
2008
15 years 2 months ago
2008
As significant resources are directed towards clean-slate networking research, it is imperative to understand how cleanslate architectural research compares to the diametrically o...
113
click to vote
ATAL
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. In this paper, we consider the issue of designing agents that successfully balance the amount of time spent in reconsidering their intentions against the amount of time s...
149
click to vote
AAAI
2008
15 years 3 months ago
2008
Symbolic AI systems typically have difficulty reasoning about motion in continuous environments, such as determining whether a cornering car will clear a close obstacle. Bimodal s...