1255 search results - page 168 / 251 » Information-Based Machine Translation |
177
click to vote
B
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
183
click to vote
ISCA
1993
IEEE
15 years 10 months ago
1993
IEEE
er uses an abstract machine approach to compare the mechanisms of two parallel machines: the J-Machine and the CM-5. High-level parallel programs are translated by a single optimi...
185
click to vote
ICML
2001
IEEE
16 years 7 months ago
2001
IEEE
In this paper, we show how we can learn to select good words for a document title. We view the problem of selecting good title words for a document as a variant of an Information ...
166
click to vote
AMFG
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we describe an approach for inferring the body posture using a 3D visual-hull constructed from a set of silhouettes. We introduce an appearance-based, view-independe...
116
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Ariola and Felleisen's call-by-need -calculus replaces a variable occurrence with its value at the last possible moment. To support this gradual notion of substituti...