1860 search results - page 136 / 372 » Automatic Generation of Search Engines |
159
click to vote
ENTCS
2007
15 years 4 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
129
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
We present CESE, a tool that combines exhaustive enumeration of test inputs from a structured domain with symbolic execution driven test generation. We target programs whose valid...
126
click to vote
SIGIR
2008
ACM
15 years 3 months ago
2008
ACM
In Japanese, it is quite common for the same word to be written in several different ways. This is especially true for katakana words which are typically used for transliterating ...
134
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
In this work we concentrate on generating compound words with high order n-gram information for speech recognition. In most existing compound words generation methods, only bi-gra...
119
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
We propose a method of automatically constructing Web content from video streams with metadata that we call TV2Web. The Web content includes thumbnails of video units and caption ...