Sciweavers

672 search results - page 95 / 135
» On the Expressive Power of the Loop Language
Sort
View
EMSOFT
2005
Springer
15 years 7 months ago
SHIM: a deterministic model for heterogeneous embedded systems
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
Stephen A. Edwards, Olivier Tardieu
LAWEB
2003
IEEE
15 years 7 months ago
Application Modeling for the Semantic Web
In this article we present a method for the design and implementation of Web Applications for the Semantic Web. Based on the "Object Oriented Hypermedia Design Method" a...
Fernanda Lima, Daniel Schwabe
BTW
2003
Springer
140views Database» more  BTW 2003»
15 years 7 months ago
An Ontology for Domain-oriented Semantic Similarity Search on XML Data
Abstract: Query languages for XML such as XPath or XQuery support Boolean retrieval where a query result is a (possibly restructured) subset of XML elements or entire documents tha...
Anja Theobald
ICLP
2003
Springer
15 years 7 months ago
Order and Negation as Failure
We equip ordered logic programs with negation as failure, using a simple generalization of the preferred answer set semantics for ordered programs. This extension supports a conven...
Davy Van Nieuwenborgh, Dirk Vermeir
VISUAL
1999
Springer
15 years 6 months ago
Querying Multimedia Data Sources and Databases
To support the retrieval and fusion of multimedia information from multiple sources and databases, a spatial/temporal query language called ΣQL is proposed. ΣQL is based upon th...
Shi-Kuo Chang, Gennaro Costagliola, Erland Jungert