Sciweavers

3738 search results - page 387 / 748
» Parametrized Logic Programming
Sort
View
150
Voted
ERCIMDL
2007
Springer
110views Education» more  ERCIMDL 2007»
15 years 9 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
134
Voted
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
135
Voted
PLDI
2005
ACM
15 years 9 months ago
Permission-based ownership: encapsulating state in higher-order typed languages
Today’s module systems do not effectively support information hiding in the presence of shared mutable objects, causing serious problems in the development and evolution of larg...
Neelakantan R. Krishnaswami, Jonathan Aldrich
128
Voted
SEKE
2005
Springer
15 years 9 months ago
An Empirical Study on Limits of Clone Unification Using Generics
Generics (templates) attempt to unify similar program structures to avoid redundancy. How well do generics serve this purpose in practice? We try to answer this question through e...
Hamid Abdul Basit, Damith C. Rajapakse, Stan Jarza...