Sciweavers

17449 search results - page 188 / 3490
» Availability
Sort
View
WOLLIC
2007
Springer
16 years 5 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 5 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 4 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 4 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 3 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...