Sciweavers

15754 search results - page 755 / 3151
» Programs are Knowledge Bases
Sort
View
UAI
1994
15 years 8 months ago
Generating New Beliefs from Old
In previous work [BGHK92, BGHK93], we have studied the random-worlds approach--a particular (and quite powerful) method for generating degrees of belief (i.e., subjective probabil...
Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, ...
LOPSTR
1997
Springer
15 years 11 months ago
Development of Correct Transformation Schemata for Prolog Programs
Schema-based program transformation [8] has been proposed as an effective technique for the optimisation of logic programs. Schemata are applied to a logic program, mapping ineffi...
Julian Richardson, Norbert E. Fuchs
TRIER
2002
15 years 7 months ago
Precise Interprocedural Dependence Analysis of Parallel Programs
It is known that interprocedural detection of copy constants and elimination of faint code in parallel programs are undecidable problems, if base statements are assumed to execute...
Markus Müller-Olm
OTM
2009
Springer
16 years 2 months ago
Automatic Detection of Terminology Evolution
As archives contain documents that span over a long period of time, the language used to create these documents and the language used for querying the archive can differ. This diï...
Nina Tahmasebi
SEMCO
2007
IEEE
16 years 1 months ago
Learning by Reading by Learning to Read
Knowledge-based natural language processing systems learn by reading, i.e., they process texts to extract knowledge. The performance of these systems crucially depends on knowledg...
Sergei Nirenburg, Tim Oates, Jesse English