Sciweavers

1216 search results - page 163 / 244
» Hybrid type checking
Sort
View
GLVLSI
2005
IEEE
158views VLSI» more  GLVLSI 2005»
15 years 12 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 11 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
AMTA
2004
Springer
15 years 11 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 11 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 11 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