Sciweavers

1000 search results - page 59 / 200
» An RDF Query Language based on Logic Programming
Sort
View
IJCAI
1993
15 years 3 months ago
Using Classification as a Programming Language
Our experience in the IDAS natural language generation project has shown us that IDAS'S KLONE-like classifier, originally built solely to hold a domain knowledge base, could ...
Chris Mellish, Ehud Reiter
136
Voted
ICLP
2010
Springer
15 years 6 months ago
Improving the Efficiency of Gibbs Sampling for Probabilistic Logical Models by Means of Program Specialization
Abstract. There is currently a large interest in probabilistic logical models. A popular algorithm for approximate probabilistic inference with such models is Gibbs sampling. From ...
Daan Fierens
126
Voted
ICFP
2006
ACM
16 years 2 months ago
Static analysis for syntax objects
We describe an s-expression based syntax-extension framework much like Scheme macros, with a key additional facility: the ability to define static semantics, such as type systems ...
David Fisher, Olin Shivers
257
Voted
POPL
2006
ACM
16 years 2 months ago
The essence of command injection attacks in web applications
Web applications typically interact with a back-end database to retrieve persistent data and then present the data to the user as dynamically generated output, such as HTML web pa...
Zhendong Su, Gary Wassermann
119
Voted
ESOP
2010
Springer
15 years 12 months ago
Faulty Logic: Reasoning about Fault Tolerant Programs
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
Matthew L. Meola and David Walker