222 search results - page 27 / 45 » E-Matching with Free Variables |
SIGIR
2005
ACM
14 years 1 months ago
2005
ACM
Electronic mail poses a number of unusual challenges for the design of information retrieval systems and test collections, including informal expression, conversational structure,...
AGP
1999
IEEE
13 years 12 months ago
1999
IEEE
Regarding the precision of combined domains including Jacobs and Langen's Sharing there is a core of techniques, such as the standard integration with freeness and linearity ...
PPDP
2000
Springer
13 years 11 months ago
2000
Springer
an abstract domain developed by D. Jacobs and A. Langen for the analysis of logic programs, derives useful aliasing information. It is well-known that a commonly used core of tech...
AUSDM
2008
Springer
13 years 9 months ago
2008
Springer
Spreadsheets applications allow data to be stored with low development overheads, but also with low data quality. Reporting on data from such sources is difficult using traditiona...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
We present an approach to type theory in which the typing judgments do not have explicit contexts. Instead of judgments of the shape A : B, our systems just have judgments of the ...