2621 search results - page 41 / 525 » Generalized Algorithms for Constructing Statistical Language... |
POPL
2007
ACM
14 years 9 months ago
2007
ACM
Type-preserving compilation can improve software reliability by generating code that can be verified independently of the compiler. Practical type-preserving compilation does not ...
LREC
2010
13 years 10 months ago
2010
Today's natural language processing systems are growing more complex with the need to incorporate a wider range of language resources and more sophisticated statistical metho...
TLDI
2010
ACM
14 years 5 months ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
KDD
2006
ACM
14 years 9 months ago
2006
ACM
The primary purpose of news articles is to convey information about who, what, when and where. But learning and summarizing these relationships for collections of thousands to mil...
PAMI
2010
13 years 7 months ago
2010
Abstract— Statistical shape modeling is an established technique and is used for a variety of tasks in medical image processing, such as image segmentation and analysis. A challe...