9455 search results - page 1875 / 1891 » The Modelling Language Zinc |
CLEF
2006
Springer
15 years 1 months ago
2006
Springer
The University of Maryland participated in the English and Czech tasks. For English, one monolingual run using only fields based on fully automatic transcription (the required con...
FORMATS
2006
Springer
15 years 1 months ago
2006
Springer
We consider interval measurement logic IML, a sublogic of Zhou and Hansen's interval logic, with measurement functions which provide real-valued measurement of some aspect of ...
IDMS
1997
Springer
15 years 1 months ago
1997
Springer
With the evolving availability of wireless communication servicesand of affordable mobile devices such as notebooks or Personal Digital Assistants, mobile computing is becoming wid...
ICDCS
1995
IEEE
15 years 1 months ago
1995
IEEE
nt formal speci cations of a new abstraction, weak sets, which can be used to alleviate high latencies when retrieving data from a wide-area information system like the World Wide...
EDBT
2010
ACM
15 years 28 days ago
2010
ACM
MapReduce and stream processing are two emerging, but different, paradigms for analyzing, processing and making sense of large volumes of modern day data. While MapReduce offers t...