نتایج جستجو برای: نرمافزار definite

تعداد نتایج: 28150  

Journal: :University of Pennsylvania Law Review and American Law Register 1933

Journal: :Časopis pro pěstování matematiky a fysiky 1872

2017
David Goldberg Andrew Trotman Xiao Wang Wei Min Zongru Wan

The quality of a search engine is typically evaluated using hand-labeled data sets, where the labels indicate the relevance of documents to queries. Often the number of labels needed is too large to be created by the best annotators, and so less accurate labels (e.g. from crowdsourcing) must be used. This introduces errors in the labels, and thus errors in standard precision metrics (such as P@...

Journal: :Electr. Notes Theor. Comput. Sci. 2008
Juan Rodríguez-Hortalá Jaime Sánchez-Hernández

There are several proposals for extending Prolog with functional capabilities. The basic idea is to enlarge the language with function definitions that are translated (or expanded) into Prolog predicates, analogously to what is done for Definite Clause Grammars (DCG’s). It is easy to perform such a translation for a basic functional extension, but it requires an additional effort to incorporate...

1998
Julita Vassileva

This paper discusses the place of GTE as an approach for bridging the gap between CAL and ITS systems. It presents the DCG, our architecture for dynamic courseware generation which allows dynamic planning of the contents of an instructional course with a given goal. Finally a further development of DCG by combining it with GTE is described which includes explicit representation of generic teach...

Journal: :BJET 1998
Julita Vassileva Ralph Deters

We have developed a tool for the authoring of adaptive CAL courses, called “Dynamic Courseware Generator” (DCG). It generates an individual course according to the learner's goals and previous knowledge and dynamically adapts the course according to the learner's success in acquiring knowledge. The DCG runs on a WWW server. The learner receives from this server an individualized course targeted...

Journal: :Proceedings of the American Mathematical Society 1994

Journal: :Acta Mathematica 1893

Journal: :Annals of Pure and Applied Logic 2004

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید