3634 search results - page 330 / 727 » The Field Representation Language |
192
click to vote
EMNLP
2010
15 years 4 months ago
2010
Almost all Chinese language processing tasks involve word segmentation of the language input as their first steps, thus robust and reliable segmentation techniques are always requ...
148
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
The increased importance of XML as a universal data representation format has led to several proposals for enabling the development of applications that operate on XML data. These...
285
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
Haskell's type classes allow ad-hoc overloading, or typeindexing, of functions. A natural generalisation is to allow type-indexing of data types as well. It turns out that th...
264
click to vote
POPL
2003
ACM
16 years 7 months ago
2003
ACM
Ownership types provide a statically enforceable way of specifying object encapsulation and enable local reasoning about program correctness in object-oriented languages. However,...
170
Voted
ICFP
2002
ACM
16 years 6 months ago
2002
ACM
We present the type theory LTT, intended to form a basis for typed target languages, providing an internal notion of logical proposition and proof. The inclusion of explicit proof...