4560 search results - page 550 / 912 » Finding Data in the Neighborhood |
164
click to vote
DELOS
2000
15 years 8 months ago
2000
The acquisition of information is generally thought to be deliberately sought using a search or query mechanism or by browsing or scanning an information space. People, however, f...
182
click to vote
ICIS
2000
15 years 8 months ago
2000
The Internet and corporate intranets provide far more information than anybody can absorb. People use search engines to find the information they require. However, these systems t...
181
click to vote
NAACL
1994
15 years 8 months ago
1994
Current MT systems, whatever translation method they at present employ, do not reach an optimum output on free text. Our hypothesis for the experiment reported in this paper is th...
152
click to vote
ASSETS
2008
ACM
15 years 8 months ago
2008
ACM
Many individuals diagnosed with autism and Down syndrome have difficulties producing intelligible speech. Systematic analysis of their voice parameters could lead to better unders...
191
click to vote
CADE
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Sledgehammer, a component of the interactive theorem prover Isabelle, finds proofs in higher-order logic by calling the automated provers for first-order logic E, SPASS a...