2066 search results - page 219 / 414 » Word Maturity: Computational Modeling of Word Knowledge |
184
click to vote
SIGMOD
2010
ACM
15 years 4 months ago
2010
ACM
Tuning tools attempt to configure a database to achieve optimal performance for a given workload. Selecting an optimal set of physical structures is computationally hard since it ...
177
click to vote
ENTCS
2007
15 years 6 months ago
2007
Bounded Model Checking (BMC) is one of the most paradigmatic practical applications of Boolean Satisfiability (SAT). The utilization of SAT in model checking has allowed signifi...
141
click to vote
JUCS
2007
15 years 6 months ago
2007
: Educational Modeling Languages (EMLs) have been proposed to support the modeling of educational units. Currently, there are some EML proposals devoted to provide a computational ...
181
click to vote
ECMDAFA
2009
Springer
15 years 3 months ago
2009
Springer
Technological and business changes influence the evolution of software systems. When this happens, the software artifacts may need to be adapted to the changes. This need is rapidl...
158
Voted
ICASSP
2011
IEEE
14 years 9 months ago
2011
IEEE
Long-span language models that capture syntax and semantics are seldom used in the first pass of large vocabulary continuous speech recognition systems due to the prohibitive sea...