Sciweavers

1216 search results - page 163 / 244
» Hybrid type checking
Sort
View
GLVLSI
2005
IEEE
158views VLSI» more  GLVLSI 2005»
15 years 9 months ago
Quantum-dot cellular automata SPICE macro model
This paper describes a SPICE model development methodology for Quantum-Dot Cellular Automata (QCA) cells and presents a SPICE model for QCA cells. The model is validated by simula...
Rui Tang, Fengming Zhang, Yong-Bin Kim
IWQOS
2005
Springer
15 years 9 months ago
Performance Analysis of Wireless Scheduling with ARQ in Fast Fading Channels
In this paper, we study the performance of opportunistic scheduling for downlink data transmissions with type-II packet-combining hybrid ARQ in a multirate cellular network for a f...
Hwee Pink Tan
172
Voted
AMTA
2004
Springer
15 years 9 months ago
Multi-align: Combining Linguistic and Statistical Techniques to Improve Alignments for Adaptable MT
Abstract. An adaptable statistical or hybrid MT system relies heavily on the quality of word-level alignments of real-world data. Statistical alignment approaches provide a reasona...
Necip Fazil Ayan, Bonnie J. Dorr, Nizar Habash
AP2PC
2004
Springer
15 years 9 months ago
Peer-to-Peer Semantic Integration of XML and RDF Data Sources
Abstract. Peer-to-Peer (P2P) data management systems combine traditional schema-based integration techniques with the P2P infrastructure. In this paper, we propose a P2P data manag...
Isabel F. Cruz, Huiyong Xiao, Feihong Hsu
AUSAI
2004
Springer
15 years 9 months ago
Genetic Algorithm Based K-Means Fast Learning Artificial Neural Network
The K-means Fast Learning Artificial Neural Network (KFLANN) is a small neural network bearing two types of parameters, the tolerance, δ and the vigilance, µ. In previous papers,...
Yin Xiang, Alex Leng Phuan Tay