Sciweavers

1826 search results - page 250 / 366
» Using Random Forests in the Structured Language Model
Sort
View
CTCS
1987
Springer
15 years 9 months ago
Good Functors... are Those Preserving Philosophy
of this paper is to prevent the abstract data type researcher from an improper, naive use of category theory. We mainly emphasize some unpleasant properties of the synthesis funct...
Gilles Bernot
ENTCS
2008
109views more  ENTCS 2008»
15 years 6 months ago
Separation Logic for Multiple Inheritance
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...
Chenguang Luo, Shengchao Qin
ACL
2011
14 years 10 months ago
A Comparison of Loopy Belief Propagation and Dual Decomposition for Integrated CCG Supertagging and Parsing
Via an oracle experiment, we show that the upper bound on accuracy of a CCG parser is significantly lowered when its search space is pruned using a supertagger, though the supert...
Michael Auli, Adam Lopez
UML
2000
Springer
15 years 9 months ago
A Radical Revision of UML's Role Concept
UML's current definition of the role concept comes with many problems, not the least being that it is difficult to understand and communicate. This paper proposes a revised UM...
Friedrich Steimann
EVOW
2010
Springer
16 years 1 months ago
Evolving 3D Buildings for the Prototype Video Game Subversion
We investigate user-guided evolution for the development of virtual 3D building structures for the prototype (commercial) game Subversion, which is being developed by Introversion ...
Andrew Martin, Andrew Lim, Simon Colton, Cameron B...