902 search results - page 45 / 181 » Modeling and Reasoning about Uncertainty in Context-Aware Sy... |
100
Voted
KI
2007
Springer
15 years 6 months ago
2007
Springer
To achieve complex missions an autonomous unmanned aerial vehicle (UAV) operating in dynamic environments must have and maintain situational awareness. This can be achieved by cont...
99
Voted
DEON
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. In this paper, following the work of Hare, we consider moral reasoning not as the application of moral norms and principles, but as reasoning about what ought to be done ...
110
Voted
WSC
2007
15 years 2 months ago
2007
Two basic approaches to simulation model composition can be distinguished, depending on whether the unit of composition is a model specification according to a certain modeling f...
71
Voted
ISSTA
2006
ACM
15 years 6 months ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
91
Voted
KBS
1998
15 years 6 days ago
1998
In interactive design processes, strategic decisions are made at different levels. To support designers, design support systems need to include corresponding strategic knowledge at...