5639 search results - page 313 / 1128 » Timed Abstract Non-interference |
151
Voted
SIAMCO
2008
15 years 3 months ago
2008
Abstract. In this paper we consider a class of hybrid stochastic games with the piecewise openloop information structure. These games are indexed over a parameter which represents...
147
Voted
TRANSCI
2008
15 years 3 months ago
2008
Abstract. We present a new model for a strategic locomotive scheduling problem arising at the Deutsche Bahn AG. The model is based on a multi-commodity min-cost flow formulation th...
159
Voted
TVCG
2008
15 years 3 months ago
2008
Abstract-- Fluid simulations typically produce complex threedimensional iso-surfaces whose geometry and topology change over time. The standard way of representing such "dynam...
144
click to vote
ISVC
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. When using visualization techniques to explore data streams, an important task is to convey pattern changes. Challenges include: (1) Most data analysis tasks require user...
137
Voted
ADAEUROPE
2003
Springer
15 years 9 months ago
2003
Springer
ontainer. In particular, an iterator abstracts away differences in specific container types, allowing you to view the collection simply as a sequence of items. A generic algorith...