2850 search results - page 438 / 570 » On Timed Models and Full Abstraction |
123
click to vote
DAGSTUHL
2007
15 years 2 months ago
2007
Abstract. In this paper, we consider the problem of filtering in relational hidden Markov models. We present a compact representation for such models and an associated logical par...
119
Voted
AGENTS
2001
Springer
15 years 5 months ago
2001
Springer
We present a framework that enables a belief-desire-intention (BDI) agent to dynamically choose its intention reconsideration policy in order to perform optimally in accordance wi...
116
click to vote
MMMACNS
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
LISA
2007
15 years 3 months ago
2007
Existing applications often contain security holes that are not patched until after the system has already been compromised. Even when software updates are available, applying the...
92
Voted
COMAD
2009
15 years 1 months ago
2009
Terms in textual documents tend to occur more in contexts to which they are related. We can exploit this bias by modelling terms and their cooccurrences s, resembling the abstract...