Sciweavers

2024 search results - page 289 / 405
» The Meaning of Ordered SOS
Sort
View
JAR
2008
88views more  JAR 2008»
15 years 6 months ago
Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables
Statistical quantities, such as expectation (mean) and variance, play a vital role in the present age probabilistic analysis. In this paper, we present some formalization of expect...
Osman Hasan, Sofiène Tahar
IJPP
2006
82views more  IJPP 2006»
15 years 6 months ago
Supporting Microthread Scheduling and Synchronisation in CMPs
Chip multiprocessors hold great promise for achieving scalability in future systems. Microthreaded chip multiprocessors add a means of exploiting legacy code in such systems. Usin...
Ian Bell, Nabil Hasasneh, Chris R. Jesshope
JCIT
2008
100views more  JCIT 2008»
15 years 6 months ago
Basic Portal System with the Function of Communication Control for Each User
The Personal Portal is generally used as a communication mean and serves as an entrance to users where they can acquire interested information on the network. We have several prob...
Kazuya Odagiri, Rihito Yaegashi, Masaharu Tadauchi...
JCM
2008
83views more  JCM 2008»
15 years 6 months ago
The Impact of Combined Equalization on the Performance of MC-CDMA Systems
In this work the performance of a combined equalization for multi-carrier code division multiple access (MC-CDMA) systems is analytically evaluated. Combined equalization consists ...
Barbara M. Masini
INFORMATICALT
2006
116views more  INFORMATICALT 2006»
15 years 6 months ago
Cache-based Statistical Language Models of English and Highly Inflected Lithuanian
This paper investigates a variety of statistical cache-based language models built upon three corpora: English, Lithuanian, and Lithuanian base forms. The impact of the cache size,...
Airenas Vaiciunas, Gailius Raskinis