Sciweavers

5358 search results - page 397 / 1072
» Script-based Presentation of Simulation Results
Sort
View
CCGRID
2004
IEEE
15 years 11 months ago
Remote partial file access using compact pattern descriptions
We present a method for the efficient access to parts of remote files. The efficiency is achieved by using a file format independent compact pattern description, that allows to re...
Thorsten Schütt, André Merzky, Andrei ...
216
Voted
FM
2006
Springer
148views Formal Methods» more  FM 2006»
15 years 11 months ago
Automatic Translation from Circus to Java
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
Angela Freitas, Ana Cavalcanti
MICCAI
2000
Springer
15 years 11 months ago
Multimodal Non-rigid Warping for Correction of Distortions in Functional MRI
This paper deals with the correction of distortions in EPI acquisitions. Echo-planar imaging (EPI) data is used in functional resonance imaging (fMRI) and in diffusion tensor MRI (...
Pierre Hellier, Christian Barillot
219
Voted
QOFIS
2000
Springer
15 years 11 months ago
Random Early Marking
In this paper we present an optimisation approach to congestion flow control. The initial context of this approach was as a rate based flow control in ATM networks. We describe te...
Sanjeewa Athuraliya, Steven H. Low, David E. Lapsl...
197
Voted
ICC
1997
IEEE
108views Communications» more  ICC 1997»
15 years 11 months ago
MLSE Receiver for the Dispersive Rayleigh Fading Channel
: A maximum likelihood sequence estimator for the dispersive Rayleigh fading channel is developed. Following [1, 2], the MLSE uses a Kalman based channel estimator to acquire the c...
Wing Seng Leon, Desmond P. Taylor