Sciweavers

3513 search results - page 351 / 703
» Super Logic Programs
Sort
View
152
Voted
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
118
Voted
ICFP
2006
ACM
16 years 3 months ago
Design patterns as higher-order datatype-generic programs
Design patterns are reusable abstractions in object-oriented software. However, using current mainstream programming languages, these elements can only be expressed extra-linguist...
Jeremy Gibbons
PPDP
2009
Springer
15 years 10 months ago
Path-sensitive region analysis for mercury programs
Dividing the heap memory of programs into regions is the starting point of region-based memory management. In our existing work of enabling region-based memory management for Merc...
Quan Phan, Gerda Janssens