Sciweavers

4250 search results - page 299 / 850
» Understanding the Requirements on Modelling Techniques
Sort
View
ASE
2005
102views more  ASE 2005»
15 years 6 months ago
Modular Verification of Open Features Using Three-Valued Model Checking
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
Harry C. Li, Shriram Krishnamurthi, Kathi Fisler
NAACL
2007
15 years 8 months ago
Applying Many-to-Many Alignments and Hidden Markov Models to Letter-to-Phoneme Conversion
Letter-to-phoneme conversion generally requires aligned training data of letters and phonemes. Typically, the alignments are limited to one-to-one alignments. We present a novel t...
Sittichai Jiampojamarn, Grzegorz Kondrak, Tarek Sh...
NAACL
2003
15 years 8 months ago
Language and Task Independent Text Categorization with Simple Language Models
We present a simple method for language independent and task independent text categorization learning, based on character-level n-gram language models. Our approach uses simple in...
Fuchun Peng, Dale Schuurmans, Shaojun Wang
GLVLSI
2006
IEEE
95views VLSI» more  GLVLSI 2006»
16 years 24 days ago
Test generation using SAT-based bounded model checking for validation of pipelined processors
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...
Heon-Mo Koo, Prabhat Mishra
SI3D
2005
ACM
16 years 9 days ago
A lighting model for general participating media
Efficient and visually compelling reproduction of effects due to multiple scattering in participating media remains one of the most difficult tasks in computer graphics. Althoug...
Kyle Hegeman, Michael Ashikhmin, Simon Premoze