1365 search results - page 12 / 273 » Maximal Causality Analysis |
98
Voted
LOGCOM
2007
15 years 13 days ago
2007
We consider the problem of incorporating arbitrary preferences in planning systems. A preference may be seen as a goal or constraint that is desirable, but not necessary, to satis...
88
Voted
CAV
2006
Springer
15 years 4 months ago
2006
Springer
Atomicity-checking is a powerful approach for finding subtle concurrency errors in shared-memory multithreaded code. The goal is to verify that certain code sections appear to exec...
96
Voted
CISS
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract—We consider adapting the transmission rate to maximize the goodput, i.e., the amount of data transmitted without error, over a continuous Markov flat-fading wireless ch...
66
Voted
SCS
2003
15 years 1 months ago
2003
We perform a Why-Because Analysis (WBA) starting from the information in the Executive Summary of the U.S. DoD Aircraft Accident Investigation Board report on the shootdown of two ...
90
Voted
ETRA
2006
ACM
15 years 6 months ago
2006
ACM
Salient stimuli, such as color or motion contrasts, attract human attention, thus providing a fast heuristic for focusing limited neural resources on behaviorally relevant sensory...