Sciweavers

109 search results - page 11 / 22
» Communication in large distributed AI Systems for Natural La...
Sort
View
CLOUD
2010
ACM
14 years 22 days ago
Nephele/PACTs: a programming model and execution framework for web-scale analytical processing
We present a parallel data processor centered around a programming model of so called Parallelization Contracts (PACTs) and the scalable parallel execution engine Nephele [18]. Th...
Dominic Battré, Stephan Ewen, Fabian Hueske...
EMNLP
2009
13 years 5 months ago
Effective Use of Linguistic and Contextual Information for Statistical Machine Translation
Current methods of using lexical features in machine translation have difficulty in scaling up to realistic MT tasks due to a prohibitively large number of parameters involved. In...
Libin Shen, Jinxi Xu, Bing Zhang, Spyros Matsoukas...
ASSETS
2007
ACM
13 years 11 months ago
Corpus studies in word prediction
Word prediction can be used to enhance the communication rate of people with disabilities who use Augmentative and Alternative Communication (AAC) devices. We use statistical meth...
Keith Trnka, Kathleen F. McCoy
FOSSACS
2004
Springer
14 years 1 months ago
safeDpi: A Language for Controlling Mobile Code
safeDpi is a distributed version of the Picalculus, in which processes are located at dynamically created sites. Parametrised code may be sent between sites using so-called ports, ...
Matthew Hennessy, Julian Rathke, Nobuko Yoshida
FM
2009
Springer
138views Formal Methods» more  FM 2009»
14 years 2 months ago
What Can Formal Methods Bring to Systems Biology?
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, E...