3824 search results - page 509 / 765 » Geometry Constructions Language |
128
click to vote
BNCOD
1997
15 years 5 months ago
1997
With the substantial change of declarative query languages from plain SQL to the so-called \object SQLs", in particular OQL, there has surprisingly been not much change in the...
123
click to vote
ANLP
1994
15 years 5 months ago
1994
Automatic text tagging is an important component in higher level analysis of text corpora, and its output can be used in many natural language processing applications. In language...
144
click to vote
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
' abstraction theorem shows how a typing judgement in System F can be translated into a relational statement (in second order predicate logic) about inhabitants of the type. ...
144
Voted
POPL
2010
ACM
15 years 4 months ago
2010
ACM
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...
147
click to vote
ECIR
2010
Springer
15 years 4 months ago
2010
Springer
In this work we compare different techniques to automatically find candidate web pages to substitute broken links. We extract information from the anchor text, the content of the p...