4421 search results - page 531 / 885 » Libraries |
206
Voted
ER
2004
Springer
16 years 5 days ago
2004
Springer
The envisioned Semantic Web aims to provide richly annotated and explicitly structured Web pages in XML, RDF, or description logics, based upon underlying ontologies and thesauri. ...
223
click to vote
ICLP
2004
Springer
16 years 5 days ago
2004
Springer
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...
207
click to vote
FDL
2003
IEEE
16 years 2 days ago
2003
IEEE
SystemC-Plus from the ODETTE project provides the ability to simulate and synthesise object-oriented specifications into hardware. The current ODETTE compiler translates each obj...
177
Voted
PLDI
2003
ACM
16 years 1 days ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
187
click to vote
GIS
2003
ACM
16 years 11 hour ago
2003
ACM
Accurate postal code maps have many applications within GIS as the postal code has the potential to link the address description of buildings to their location in a specified glob...