15375 search results - page 48 / 3075 » cans 2008 |
NAACL
2010
13 years 5 months ago
2010
We show how the Barzilay and Lapata entitybased coherence algorithm (2008) can be applied to a new, noisy data domain
LICS
2008
IEEE
14 years 2 months ago
2008
IEEE
Using appropriate notation systems for proofs, cutreduction can often be rendered feasible on these notations. Explicit bounds can be given. Developing a suitable notation system ...
WCE
2007
13 years 8 months ago
2007
A non-symmetric matrix splitting is presented for the solution of certain sparse linear systems. The author reports the comparison and the convergence performance of the previous a...
SCP
2002
13 years 7 months ago
2002
O'Haskell is a programming language derived from Haskell by the addition of concurrent reactive objects and subtyping. Because Haskell already encompasses an advanced type sy...
APPML
2008
13 years 7 months ago
2008
A saw-toothed chessboard, or STC for short, is a kind of chessboard whose boundary forms two staircases from left down to right without any hole inside it. A rook at square (i, j)...