Sciweavers

2740 search results - page 228 / 548
» Typing the Specialization Interface
Sort
View
WSC
2008
15 years 9 months ago
Federated simulations for systems of systems integration
Systems of systems integration is a difficult engineering challenge that places a particular burden on the engineers who must develop simulation models to support that integration...
Robert H. Kewley, James Cook, Niki Goerger, Dale H...
ISQED
2010
IEEE
126views Hardware» more  ISQED 2010»
15 years 8 months ago
Modeling and verification of industrial flash memories
We present a method to abstract, formalize, and verify industrial flash memory implementations. Flash memories contain specialized transistors, e.g., floating gate and split gate d...
Sandip Ray, Jayanta Bhadra, Thomas Portlock, Ronal...
EVOW
2008
Springer
15 years 8 months ago
Compound Particle Swarm Optimization in Dynamic Environments
Adaptation to dynamic optimization problems is currently receiving a growing interest as one of the most important applications of evolutionary algorithms. In this paper, a compoun...
Lili Liu, Dingwei Wang, Shengxiang Yang
LREC
2010
188views Education» more  LREC 2010»
15 years 8 months ago
How Large a Corpus Do We Need: Statistical Method Versus Rule-based Method
We investigate the impact of input data scale in corpus-based learning using a study style of Zipf's law. In our research, Chinese word segmentation is chosen as the study ca...
Hai Zhao, Yan Song, Chunyu Kit
LREC
2008
89views Education» more  LREC 2008»
15 years 8 months ago
Lexical Resources for Automatic Translation of Constructed Neologisms: the Case Study of Relational Adjectives
This paper deals with the treatment of constructed neologisms in a machine translation system. It focuses on a particular issue in Romance languages: relational adjectives and the...
Bruno Cartoni