1255 search results - page 168 / 251 » Information-Based Machine Translation |
113
Voted
B
2007
Springer
15 years 6 months 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...
124
click to vote
ISCA
1993
IEEE
15 years 4 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...
127
click to vote
ICML
2001
IEEE
16 years 1 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 ...
109
Voted
AMFG
2003
IEEE
15 years 6 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...
61
Voted
CORR
2010
Springer
15 years 22 days 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...