Sciweavers

7430 search results - page 693 / 1486
» Programming Applications in CIFF
Sort
View
DLOG
2003
15 years 8 months ago
From Description Logic Provers to Knowledge Representation Systems
A description-logic based knowledge representation system is more than an inference engine for a particular description logic. A knowledge representation system must provide a num...
Deborah L. McGuinness, Peter F. Patel-Schneider
PSSS
2003
15 years 8 months ago
Prolog-based Infrastructure for RDF: Scalability and Performance
The semantic web is a promising application-area for the Prolog programming language for its non-determinism and patternmatching. In this paper we outline an infrastructure for loa...
Jan Wielemaker, Guus Schreiber, Bob J. Wielinga
LISP
2008
104views more  LISP 2008»
15 years 7 months ago
On the implementation of automatic differentiation tools
Automatic differentiation is a semantic transformation that applies the rules of differential calculus to source code. It thus transforms a computer program that computes a mathema...
Christian H. Bischof, Paul D. Hovland, Boyana Norr...
PERCOM
2006
ACM
15 years 7 months ago
Operating System Support for Dynamic Code Loading in Sensor Networks
Sensor network operating systems have to operate with limited hardware resources. Constraints on power consumption greatly reduce the resources available to such an operating syst...
Stefan Beyer, Robert Taylor, Ken Mayes
JUCS
2007
117views more  JUCS 2007»
15 years 7 months ago
C APIs in Extension and Extensible Languages
Scripting languages are used in conjuction with C code in two ways: as extension languages, where the interpreter is embedded as a library into an application; or as extensible lan...
Hisham Muhammad, Roberto Ierusalimschy