5638 search results - page 195 / 1128 » On presence |
161
click to vote
CASSIS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...
160
click to vote
ECML
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Learning to act in an unknown partially observable domain is a difficult variant of the reinforcement learning paradigm. Research in the area has focused on model-free m...
179
click to vote
ICCS
2005
Springer
16 years 2 days ago
2005
Springer
Phylogenetic networks model evolutionary histories in the presence of non-treelike events such as hybrid speciation and horizontal gene transfer. In spite of their widely acknowled...
138
click to vote
MICAI
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. In this paper, a new fuzzy logic-based approach to production scheduling in the presence of uncertain disruptions is presented. The approach is applied to a real-life pro...
152
click to vote
SAFECOMP
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...