14577 search results - page 2614 / 2916 » Statistical Language Modelling |
141
Voted
ISOLA
2004
Springer
16 years 1 days ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
175
click to vote
ISOLA
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Regular expressions and their extensions have become a major component of industry-standard specification languages such as PSL/Sugar ([2]). The model checking procedure...
157
click to vote
MABS
2004
Springer
16 years 1 days ago
2004
Springer
For an integrated simulation such as the natural environment affected by human society, it is indispensable to provide an integrated simulator that incorporates multiple computatio...
182
click to vote
MLMI
2004
Springer
16 years 23 hour ago
2004
Springer
We describe the ICSI-SRI-UW team’s entry in the Spring 2004 NIST Meeting Recognition Evaluation. The system was derived from SRI’s 5xRT Conversational Telephone Speech (CTS) r...
199
click to vote
SEMWEB
2004
Springer
16 years 15 hour ago
2004
Springer
The standardization of the second generation Web Ontology Language, OWL, leaves a crucial issue for Web-based ontologies unsatisfactorily resolved: how to represent and reason with...