Sciweavers

102 search results - page 12 / 21
» A Linear-Centric Modeling Approach to Harmonic Balance Analy...
Sort
View
WSC
2007
13 years 9 months ago
Modeling and simulation for customer driven manufacturing system design and operations planning
Agility, speed and flexibility in production networks are required in today's global competition in the flat world. The accuracy of order date delivery promises is a key elem...
Juhani Heilala, Jari Montonen, Arttu Salmela, Pasi...
TASLP
2010
137views more  TASLP 2010»
13 years 5 months ago
High-Pitch Formant Estimation by Exploiting Temporal Change of Pitch
—This paper considers the problem of obtaining an accurate spectral representation of speech formant structure when the voicing source exhibits a high fundamental frequency. Our ...
Tianyu T. Wang, Thomas F. Quatieri
FMCAD
2000
Springer
13 years 11 months ago
Scalable Distributed On-the-Fly Symbolic Model Checking
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
Shoham Ben-David, Tamir Heyman, Orna Grumberg, Ass...
WSC
2008
13 years 9 months ago
An indirect workforce (re)allocation model for semiconductor manufacturing
Semiconductor industry is a capital intensive and knowledge intensive industry, in which human resource management and human capital enhancement is increasingly important. To main...
Chen-Fu Chien, Wen-Chih Chen, Shao-Chung Hsu
ICWSM
2008
13 years 8 months ago
Predicting Success and Failure in Weight Loss Blogs through Natural Language Use
We explore the emerging phenomenon of blogging about personal goals, and demonstrate how natural language processing tools can be used to uncover psychologically meaningful constr...
Cindy K. Chung, Clinton Jones, Alexander Liu, Jame...