2474 search results - page 448 / 495 » Learning Languages in a Union |
MLMI
2004
Springer
14 years 3 months 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...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
Contract and rights management – and thus property rights protection – has gained increasing importance as a quality standard in brokerage and electronic commerce environments...
AWIC
2003
Springer
14 years 2 months ago
2003
Springer
The Internet makes it possible to share and manipulate a vast quantity of information efficiently and effectively, but the rapid and chaotic growth experienced by the Net has gener...
FATES
2003
Springer
14 years 2 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
FM
2003
Springer
14 years 2 months ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...