Sciweavers

13734 search results - page 130 / 2747
» Abstractions of data types
Sort
View
113
Voted
ISMIS
2003
Springer
15 years 9 months ago
Development of Generic Search Method Based on Transformation Invariance
Abstract. The needs of efficient and flexible information retrieval on multistructural data stored in database and network are significantly growing. Especially, its flexibility pl...
Fuminori Adachi, Takashi Washio, Hiroshi Motoda, A...
FCS
2006
15 years 5 months ago
Formal Representation and Transformation of DTDs to Sem-ODM Semantic Schemas
Abstract. Many projects have investigated the issue of storing XML in traditional database systems and exporting data in traditional databases as XML documents. However, they paid ...
Li Yang, Naphtali Rishe
127
Voted
RR
2007
Springer
15 years 10 months ago
A Visualization Algorithm for Defeasible Logic Rule Bases over RDF Data
This work presents a visualization algorithm for defeasible logic rule bases as well as a software tool that applies this algorithm, according to which, a directed graph is produce...
Efstratios Kontopoulos, Nick Bassiliades, Grigoris...
IFL
2007
Springer
221views Formal Methods» more  IFL 2007»
15 years 10 months ago
From Contracts Towards Dependent Types: Proofs by Partial Evaluation
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky,...
138
Voted
ICARIS
2003
Springer
15 years 9 months ago
Signal Processing by an Immune Type Tree Transform
Abstract. The paper makes an attempt to introduce a new approach for detection of local singularities in signals, including one-dimensional time series and two-dimensional images. ...
Nikolaos D. Atreas, Costas G. Karanikas, Alexander...