Sciweavers

9521 search results - page 221 / 1905
» Compiling with continuations, continued
Sort
View
EUROPAR
2003
Springer
15 years 8 months ago
Parallel ScaLAPACK-Style Algorithms for Solving Continuous-Time Sylvester Matrix Equations
An implementation of a parallel ScaLAPACK-style solver for the general Sylvester equation, op(A)X −Xop(B) = C, where op(A) denotes A or its transpose AT , is presented. The paral...
Robert Granat, Bo Kågström, Peter Porom...
HYBRID
2003
Springer
15 years 8 months ago
A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems
This paper presents a Hoare-style logic for reasoning about the frequency response of control systems in the continuous-time domain. Two properties, the gain (amplitude) and phase ...
Richard J. Boulton, Ruth Hardy, Ursula Martin
ECCV
2010
Springer
15 years 8 months ago
Multi-Person Tracking with Sparse Detection and Continuous Segmentation
This paper presents an integrated framework for mobile street-level tracking of multiple persons. In contrast to classic tracking-by-detection approaches, our framework employs an ...
74
Voted
FGR
2002
IEEE
140views Biometrics» more  FGR 2002»
15 years 8 months ago
Gait-Based Recognition of Humans Using Continuous HMMs
Amit A. Kale, Naresh P. Cuntoor, Volker Krüge...
ICDCS
2002
IEEE
15 years 8 months ago
Migratory TCP: Connection Migration for Service Continuity in the Internet
Florin Sultan, Kiran Srinivasan, Deepa Iyer, Liviu...