187 search results - page 10 / 38 » Generating ultrafilters in a reasonable way |
LORI
2009
Springer
14 years 2 months ago
2009
Springer
We introduce a new type of arrow in the update frames (or “action models”) of Dynamic Epistemic Logic in a way that enables us to reason about epistemic temporal dynamics in m...
CHI
2009
ACM
14 years 8 months ago
2009
ACM
Audio guides are a common way to provide museum visitors with an opportunity for personalized, self-paced information retrieval. However, this personalization conflicts with some ...
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— In this paper, we present an incremental, multiresolution motion planning algorithm designed for systems with differential constraints. Planning for these sytems is mor...
ISPW
2005
IEEE
14 years 1 months ago
2005
IEEE
Since different systems have different success-critical stakeholders, and these stakeholders depend on the system in different ways, using traditional one-size-fits-all dependabili...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
A rational agent adopts (or changes) its goals when new information (beliefs) becomes available or its desires (e.g., tasks it is supposed to carry out) change. In conventional ap...