5904 search results - page 873 / 1181 » Requirements for a Composition Language |
141
click to vote
FLOPS
2008
Springer
15 years 5 months ago
2008
Springer
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...
179
click to vote
AAAI
2010
15 years 5 months ago
2010
Large scale ontology applications require efficient and robust description logic (DL) reasoning services. Expressive DLs usually have very high worst case complexity while tractab...
110
click to vote
ACL
2008
15 years 5 months ago
2008
This paper introduces a new method for identifying named-entity (NE) transliterations within bilingual corpora. Current state-of-theart approaches usually require annotated data a...
122
click to vote
CIDR
2007
15 years 5 months ago
2007
Searching the Web has become a commodity. However, extending applications with search capabilities is still an open research topic [2]. Large enterprise applications such as SAP a...
143
Voted
ECIR
2010
Springer
15 years 5 months ago
2010
Springer
We investigate using topic prediction data, as a summary of document content, to compute measures of search result quality. Unlike existing quality measures such as query clarity t...