902 search results - page 105 / 181 » Modeling and Reasoning about Uncertainty in Context-Aware Sy... |
210
Voted
POPL
2005
ACM
16 years 28 days ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
124
Voted
UAI
2003
15 years 2 months ago
2003
Group elevator scheduling is an NP-hard sequential decision-making problem with unbounded state spaces and substantial uncertainty. Decision-theoretic reasoning plays a surprising...
110
Voted
ASPDAC
2008
ACM
15 years 2 months ago
2008
ACM
- With the increasing levels of variability in the behavior of manufactured nano-scale devices and dramatic changes in the power density on a chip, timely identification of hot spo...
97
Voted
AAAI
2008
15 years 3 months ago
2008
In artificial intelligence and pervasive computing research, inferring users' high-level goals from activity sequences is an important task. A major challenge in goal recogni...
119
Voted
TCS
2008
15 years 16 days ago
2008
Abstract. Cryptographic operations are essential for many security-critical systems. Reasoning about information flow in such systems is challenging because typical (noninterferenc...