Sciweavers

17449 search results - page 188 / 3490
» Availability
Sort
View
WOLLIC
2007
Springer
16 years 18 days ago
A Formal Calculus for Informal Equality with Binding
Abstract. In informal mathematical usage we often reason using languages with binding. We usually find ourselves placing capture-avoidance constraints on where variables can and c...
Murdoch Gabbay, Aad Mathijssen
WWIC
2007
Springer
132views Communications» more  WWIC 2007»
16 years 18 days ago
A Quality Adaptation Scheme for Internet Video Streams
We propose a layered quality adaptation scheme for video streams to smooth the short-term oscillations induced by Additive Increase Multiplicative Decrease (AIMD) mechanisms, and e...
Panagiotis Papadimitriou, Vassilis Tsaoussidis
APCSAC
2006
IEEE
16 years 17 days ago
Understanding Prediction Limits Through Unbiased Branches
The majority of currently available branch predictors base their prediction accuracy on the previous k branch outcomes. Such predictors sustain high prediction accuracy but they do...
Lucian N. Vintan, Arpad Gellert, Adrian Florea, Ma...
BROADNETS
2006
IEEE
16 years 17 days ago
Multipath Selection in Multi-radio Mesh Networks
Research has shown that multi-radio multi-channel mesh networks provide significant capacity gains over single-radio mesh networks [10, 20, 21]. Traditional single path routing c...
Irfan Sheriff, Elizabeth M. Belding-Royer
CBMS
2006
IEEE
16 years 17 days ago
JSSPrediction: a Framework to Predict Protein Secondary Structures Using Integration
Identifying protein secondary structures is a difficult task. Recently, a lot of software tools for protein secondary structures prediction have been produced and made available ...
Luigi Palopoli, Simona E. Rombo, Giorgio Terracina...