Sciweavers

3430 search results - page 354 / 686
» Language model for IR using collection information
Sort
View
LICS
2005
IEEE
16 years 11 days ago
Uniform Distributed Synthesis
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
Bernd Finkbeiner, Sven Schewe
CHI
2008
ACM
16 years 7 months ago
Urban encounters: the game of real life
In this paper we describe our ongoing work on modelling urban encounters by extending Conway's Game of Life. We develop our model based on empirical data collected using a Ta...
Vassilis Kostakos
ACL
1998
15 years 8 months ago
Spoken Dialogue Interpretation with the DOP Model
We show how the DOP model can be used for fast and robust processing of spoken input in a practical spoken dialogue system called OVIS. OVIS, Openbaar Vervoer Informatie Systeem (...
Rens Bod
COLING
1990
15 years 8 months ago
Solving Ambiguities In The Semantic Representation Of Texts
One of the issues of Artificial Intelligence is the transfer of the knowledge conveyed by Natural Language into formalisms that a computer can interpret. In the Natural Language P...
Marie-Claude Landau
SEW
2006
IEEE
16 years 24 days ago
Integrating Probability with Time and Shared-Variable Concurrency
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P....