6978 search results - page 1058 / 1396 » On Proofs in System P |
159
click to vote
DEXAW
2003
IEEE
16 years 4 days ago
2003
IEEE
Application-layer networks (ALN) are software architectures that allow the provisioning of services requiring a huge amount of resources by connecting large numbers of individual ...
142
click to vote
ICRA
2003
IEEE
16 years 3 days ago
2003
IEEE
— In this paper, a vision-based stabilization and output tracking control method for a four-rotor helicopter has been proposed. A novel 2 camera method has been described for est...
155
click to vote
INFOCOM
2003
IEEE
16 years 3 days ago
2003
IEEE
—Applications on mobile computers must adapt to high variability in wireless network performance. Extending the semantics of transport protocols to offer more control over commun...
134
click to vote
ISCAS
2003
IEEE
16 years 3 days ago
2003
IEEE
In this paper, a cardiac sense amplifier, i.e. the front end of a pacemaker, based on the Dynamic Translinear (DTL) circuit technique is presented. The system consists of a voltag...
146
click to vote
ISCAS
2003
IEEE
16 years 3 days ago
2003
IEEE
An analog QRS complex detection circuit, for pacemaker applications, based on the Wavelet Transform (WT) is presented. The system detects the wavelet modulus maxima of the QRS com...