1991 search results - page 21 / 399 » Small Models of Large Machines |
TACAS
1998
Springer
15 years 1 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
COLING
2008
14 years 11 months ago
2008
Phrasal segmentation models define a mapping from the words of a sentence to sequences of translatable phrases. We discuss the estimation of these models from large quantities of ...
108
click to vote
OSDI
2004
ACM
15 years 10 months ago
2004
ACM
MapReduce is a programming model and an associated implementation for processing and generating large data sets. Users specify a map function that processes a key/value pair to ge...
CORR
2011
Springer
14 years 4 months ago
2011
Springer
A plausible definition of "reasoning" could be "algebraically manipulating previously acquired knowledge in order to answer a new question". This definition co...
DOCENG
2007
ACM
15 years 1 months ago
2007
ACM
Document Object Modeling (DOM) is widely used approach for retrieving data from an XML document. If the size of the XML document is very large, however, using the DOM approach for...