6059 search results - page 1193 / 1212 » A Technique for Verifying Measurements |
JSYML
1998
14 years 11 months ago
1998
Abstract. After small forcing, any <κ-closed forcing will destroy the supercompactness and even the strong compactness of κ. In a delightful argument, Laver [L78] proved that ...
122
click to vote
SOFTWARE
1998
14 years 11 months ago
1998
development is a highly abstract process that requires intense concentration. The authors show that interrupting this process can significantly reduce a developer’s efficiency an...
SAC
2002
ACM
14 years 11 months ago
2002
ACM
Many organizations have large quantities of spatial data collected in various application areas, including remote sensing, geographical information systems (GIS), astronomy, compu...
TIP
1998
14 years 11 months ago
1998
—We introduce a new approach to image estimation based on a flexible constraint framework that encapsulates meaningful structural image assumptions. Piecewise image models (PIMâ...
107
click to vote
SIGIR
2002
ACM
14 years 11 months ago
2002
ACM
This work evaluates a few search strategies for Arabic monolingual and cross-lingual retrieval, using the TREC Arabic corpus as the test-bed. The release by NIST in 2001 of an Ara...