Sciweavers

4370 search results - page 480 / 874
» Algebra of Logic Programming
Sort
View
POPL
2010
ACM
16 years 1 months ago
A Theory of Indirection via Approximation
Building semantic models that account for various kinds of indirect reference has traditionally been a difficult problem. Indirect reference can appear in many guises, such as hea...
Aquinas Hobor, Robert Dockins, Andrew W. Appel
ERCIMDL
2007
Springer
110views Education» more  ERCIMDL 2007»
15 years 10 months ago
Annotation-Based Document Retrieval with Probabilistic Logics
Annotations are an important part in today’s digital libraries and Web information systems as an instrument for interactive knowledge creation. Annotation-based document retrieva...
Ingo Frommholz
JSW
2008
105views more  JSW 2008»
15 years 3 months ago
Representing Procedural Logic in XML
Extensible Markup Language (XML) is a powerful tool used for describing structured documents and exchanging standardized data files over the Internet. This article describes how us...
Albert D. Bethke
IJOE
2007
246views more  IJOE 2007»
15 years 3 months ago
Course of Programmable Logic Control (PLC) in Distance Learning
: The experience and content of a PLC course developed for distance learning (ODL) is presented. The course aims to introduce the student into the automation world of industrial pr...
Joaquin Ros Florenza
FOSSACS
2005
Springer
15 years 9 months ago
Mathematical Models of Computational and Combinatorial Structures
The general aim of this talk is to advocate a combinatorial perspective, together with its methods, in the investigation and study of models of computation structures. This, of cou...
Marcelo P. Fiore