Sciweavers

2661 search results - page 196 / 533
» Quantum Complexity Classes
Sort
View
POPL
2005
ACM
16 years 6 months ago
A simple typed intermediate language for object-oriented languages
Traditional class and object encodings are difficult to use in practical type-preserving compilers because of the complexity of the encodings. We propose a simple typed intermedia...
Juan Chen, David Tarditi
ALT
2005
Springer
16 years 3 months ago
Teaching Learners with Restricted Mind Changes
Within learning theory teaching has been studied in various ways. In a common variant the teacher has to teach all learners that are restricted to output only consistent hypotheses...
Frank J. Balbach, Thomas Zeugmann
KBSE
2008
IEEE
16 years 28 days ago
SpotWeb: Detecting Framework Hotspots and Coldspots via Mining Open Source Code on the Web
—Software developers often face challenges in reusing open source frameworks due to several factors such as the framework complexity and lack of proper documentation. In this pap...
Suresh Thummalapenta, Tao Xie
ICC
2007
IEEE
177views Communications» more  ICC 2007»
16 years 26 days ago
IEEE 802.11b Complementary Code Keying and Complementary Signals Derived from Biorthogonal Sequences
—Two classes of complementary signal sets are compared in terms of their complementary properties and their error probabilities for channels with thermal noise and multipath inte...
Michael B. Pursley, Thomas C. Royster IV
PRDC
2007
IEEE
16 years 24 days ago
Failure Detectors and Extended Paxos for k-Set Agreement
Failure detector class Ωk has been defined in [18] as an extension to failure detector Ω, and an algorithm has been given in [16] to solve k-set agreement using Ωk in async...
Wei Chen, Jialin Zhang, Yu Chen, Xuezheng Liu