Sciweavers

11653 search results - page 199 / 2331
» The Development of the C Language
Sort
View
128
Voted
EXTREME
2003
ACM
15 years 9 months ago
The difficulty of schema conformance problems
This paper examines the difficulty of the schema conformance problem for the following XML schema languages: • DTD • RELAX NG with W3C XML Schema Datatypes • Schematron • ...
Robert C. Lyons
143
Voted
ASP
2003
Springer
15 years 9 months ago
A Java Wrapper for DLV
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...
Francesco Ricca
120
Voted
FDL
2005
IEEE
15 years 9 months ago
SystemC-WMS: A Wave Mixed Signal Simulator
This paper proposes a methodology for extending SystemC to mixed signal systems, aimed at allowing the reuse of analog models and to the simulation of heterogeneous systems. To th...
Simone Orcioni, Giorgio Biagetti, Massimo Conti
125
Voted
APAL
2008
90views more  APAL 2008»
15 years 3 months ago
On the unity of duality
Most type systems are agnostic regarding the evaluation strategy for the underlying languages, with the value restriction for ML which is absent in Haskell as a notable exception....
Noam Zeilberger
139
Voted
DEXA
1997
Springer
92views Database» more  DEXA 1997»
15 years 7 months ago
A Query Language and Interface for Integrated Media and Alphanumeric Database Systems
Abstract. In this paper, we consider a multidatabase system which consists of media databases and traditional alphanumeric databases. The semantic relationships which may exist amo...
Jia-Ling Koh, Arbee L. P. Chen, Paul C. M. Chang, ...