6978 search results - page 1041 / 1396 » On Proofs in System P |
122
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
In recent years many national e-government standards have been developed. Even though the definition of such standards may be a necessary condition for the creation of interoperab...
141
click to vote
DFT
2009
IEEE
16 years 1 months ago
2009
IEEE
The temperature dependence of MOSFET drain current varies with supply voltage. Two distinct voltage regions exist—a normal dependence (ND) region where an increase in temperatur...
152
click to vote
ICALT
2009
IEEE
16 years 1 months ago
2009
IEEE
With increasingly rapid development in Computerbased Sport Training (CBST), feedback plays an important role in both coaching and learning. A good CBST system includes not only go...
178
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
We derive an efficient learning algorithm for model-based source separation for use on single channel speech mixtures where the precise source characteristics are not known a pri...
157
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
Recent developments have resulted in dramatic changes in the way elections are conducted, both in the United States and around the world. Well-publicized flaws in the security of...