944 resultados para Logic, Symbolic and mathematical
Resumo:
This paper describes a CL-SR system that employs two different techniques: the first one is based on NLP rules that consist on applying logic forms to the topic processing while the second one basically consists on applying the IR-n statistical search engine to the spoken document collection. The application of logic forms to the topics allows to increase the weight of topic terms according to a set of syntactic rules. Thus, the weights of the topic terms are used by IR-n system in the information retrieval process.
Resumo:
"Prepared for United States Air Force Project Rand."
Resumo:
Mode of access: Internet.
Resumo:
Biography on verso of each portrait.
Resumo:
Includes bibliographies.
Resumo:
Mode of access: Internet.
Resumo:
Final Report under Contract No.
Resumo:
Mode of access: Internet.
Resumo:
Mode of access: Internet.
Resumo:
The translator's preface is followed by his Dissertation on the Platonic doctrine of ideas; Demonstrative syllogism; Nature of the soul; Dissertation on the true end of geometry; Life and commentaries of Proclus, including the life of Proclus by Marinus.
Resumo:
Printer's statement on verso of title page: London: Harrison and Co., Printers, St. Martin's Lane.
Resumo:
"A letter from Mr. John Clayton ... giving an account of several observables in Virginia, and in his voyage thither", v. 3, p. 281-355.
Resumo:
Nos. 144-145 omitted in the paging of v. 1.
Resumo:
Mode of access: Internet.
Resumo:
Mode of access: Internet.