5638 search results - page 195 / 1128 » On presence |
180
click to vote
CASSIS
2005
Springer
16 years 20 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 ...
177
click to vote
ECML
2005
Springer
16 years 19 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...
192
click to vote
ICCS
2005
Springer
16 years 19 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...
158
click to vote
MICAI
2005
Springer
16 years 18 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...
171
click to vote
SAFECOMP
2005
Springer
16 years 18 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...