902 search results - page 171 / 181 » Modeling and Reasoning about Uncertainty in Context-Aware Sy... |
139
click to vote
SCP
1998
15 years 3 days ago
1998
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
127
click to vote
FMSD
2007
15 years 12 days ago
2007
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
131
click to vote
UM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Reconciling personalization with privacy has been a continuing interest in the user modeling community. In prior work, we proposed a dynamic privacy-enhancing user modeli...
96
Voted
FOAL
2008
ACM
15 years 2 months ago
2008
ACM
Often, insertion of several aspects into one system is desired and in that case the problem of interference among the different aspects might arise, even if each aspect individual...
204
Voted
POPL
2008
ACM
16 years 23 days ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...