5216 search results - page 862 / 1044 » Planning as Model Checking |
147
click to vote
EUSFLAT
2009
15 years 1 months ago
2009
This paper proposes to analyze two flow line systems in which we include possibilistic data -the priority-discipline is possibilistic instead of probabilistic- and measure the perf...
134
click to vote
FLAIRS
2009
15 years 1 months ago
2009
Researchers in commonsense, qualitative spatial and temporal reasoning (QSTR) provide flexible and intuitive methods for reasoning about vague and uncertain information including ...
160
click to vote
HCI
2009
15 years 1 months ago
2009
In this study, we argue that multimodal presentations should be created in a cognitive-aware manner, especially in a high-load HCI situation where the user task challenges the full...
179
Voted
TMC
2011
14 years 11 months ago
2011
Abstract—Recently, many efforts have been made to develop more efficient Inter-Vehicle Communication (IVC) protocols for ondemand route planning according to observed traffic con...
175
click to vote
INTERSPEECH
2010
14 years 11 months ago
2010
Stochastic dependency parsers can achieve very good results when they are trained on large corpora that have been manually annotated. Active learning is a procedure that aims at r...