22193 search results - page 169 / 4439 » Multiple Restricted Multiplication |
154
click to vote
EACL
1993
ACL Anthology
15 years 7 months ago
1993
ACL Anthology
An assumption shared by many theories of discourse is that discourse structure constrains anaphora resolution (cf. [Grosz and Sidner 1986] for definite NPs, [Lascarides and Asher ...
175
click to vote
COLING
1996
15 years 7 months ago
1996
In the spoken language machine translation project Verbmobil, the semantic formalism Language for Underspecified Discourse representation structures (LUD) is used. LUD describes a...
186
click to vote
MVA
1996
15 years 7 months ago
1996
In this paper, a method for extracting influences of specular reflection and shade from multiple color images is described. As regards extraction, the di-chromatic reflection mode...
192
click to vote
ALGORITHMICA
2006
15 years 6 months ago
2006
Abstract. In this paper we prove the optimality and other properties of the -adic nonadjacent form: this expansion has been introduced in order to efficiently compute scalar multip...
172
click to vote
ENTCS
2008
15 years 6 months ago
2008
As an extension to Floyd-Hoare logic, separation logic has been used to facilitate reasoning about imperative programs manipulating shared mutable data structures. Recently, it ha...