Sciweavers

5981 search results - page 104 / 1197
» time 2006
Sort
View
EPEW
2006
Springer
15 years 2 months ago
Embedding Real Time in Stochastic Process Algebras
We present a stochastic process algebra including immediate actions, deadlock and termination, and explicit stochastic delays, in the setting of weak choice between immediate actio...
Jasen Markovski, Erik P. de Vink
81
Voted
CORR
2006
Springer
102views Education» more  CORR 2006»
15 years 25 days ago
Approximate Linear Time ML Decoding on Tail-Biting Trellises in Two Rounds
A linear time approximate maximum likelihood decoding algorithm on tail-biting trellises is presented, that requires exactly two rounds on the trellis. This is an adaptation of an ...
K. Murali Krishnan, Priti Shankar
FSTTCS
2006
Springer
15 years 4 months ago
Self-assemblying Classes of Shapes with a Minimum Number of Tiles, and in Optimal Time
Abstract. In this paper we construct fixed finite tile systems that assemble into particular classes of shapes. Moreover, given an arbitrary n, we show how to calculate the tile co...
Florent Becker, Ivan Rapaport, Eric Rémila
122
Voted
RTCSA
2006
IEEE
15 years 6 months ago
Strengthening Property Preservation in Concurrent Real-Time Systems
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...
Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk ...
IJCV
2006
227views more  IJCV 2006»
15 years 24 days ago
A Multigrid Platform for Real-Time Motion Computation with Discontinuity-Preserving Variational Methods
Variational methods are among the most accurate techniques for estimating the optic flow. They yield dense flow fields and can be designed such that they preserve discontinuities, ...
Andrés Bruhn, Joachim Weickert, Timo Kohlbe...