3973 search results - page 12 / 795 » Records for Logic Programming |
VRST
1999
ACM
15 years 3 months ago
1999
ACM
Logic Programming as well as Virtual Reality applications have achieved a lot in the last few years. In this paper we present an architecture, a methodology and two simple example...
IEEEINTERACT
2003
IEEE
15 years 4 months ago
2003
IEEE
For call intensive programs, function calls are major bottlenecks during program execution since they usually force register contents to be spilled into memory. Such register to m...
112
click to vote
ITNG
2007
IEEE
15 years 5 months ago
2007
IEEE
Medical histories provide a rich resource for diagnoses and treatment. Similarly, consumers’ blog postings on health-related topics offer unique data for medical researchers, pr...
ALP
1994
Springer
15 years 3 months ago
1994
Springer
This paper introduces a logic for a class of properties - in particular variable aliasing - used in static analysis of logic programs. The logic is shown to be sound, complete and ...
LPNMR
2004
Springer
15 years 5 months ago
2004
Springer
nlp is a compiler for nested logic programming under answer set semantics. It is designed as a front-end translating nested logic programs into disjunctive ones, whose answer sets ...