Sciweavers

9443 search results - page 1700 / 1889
» Web-centric language models
Sort
View
ICMCS
2005
IEEE
87views Multimedia» more  ICMCS 2005»
14 years 3 months ago
A Probabilistic Description of Man-Machine Spoken Communication
Speech enabled interfaces and spoken dialog systems are mostly based on statistical speech and language processing modules. Their behavior is therefore not deterministic and hardl...
Olivier Pietquin
IPPS
2005
IEEE
14 years 3 months ago
Benchmarking the CLI for I/O-Intensive Computing
Common Language Infrastructure, or CLI, is a standardized virtual machine, which increasingly becomes popular on a wide range of platforms. In this paper we developed three I/O-in...
Xiao Qin, Tao Xie 0004, Ahalya Nathan, Vijaya K. T...
LICS
2005
IEEE
14 years 3 months ago
Relations in Concurrency
The theme of this paper is profunctors, and their centrality and ubiquity in understanding concurrent computation. Profunctors (a.k.a. distributors, or bimodules) are a generalisa...
Glynn Winskel
QSIC
2005
IEEE
14 years 3 months ago
Proving the Safety of SQL Queries
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...
Stefan Brass, Christian Goldberg
SEFM
2005
IEEE
14 years 3 months ago
From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre ...
« Prev « First page 1700 / 1889 Last » Next »