Sciweavers

2903 search results - page 331 / 581
» On the univalence of an integral operator
Sort
View
DBTEL
2001
Springer
126views Database» more  DBTEL 2001»
15 years 11 months ago
Data Warehouse Population Platform
Abstract. The input data for a data warehouse, coming from operational systems, are not immediately ready for loading into data warehouse. Cleaning and integration could be necessa...
Jovanka Adzic, Valter Fiore, Stefano Spelta
ICLP
2001
Springer
15 years 11 months ago
An Order-Sorted Resolution with Implicitly Negative Sorts
We usually use natural language vocabulary for sort names in order-sorted logics, and some sort names may contradict other sort names in the sort-hierarchy. These implicit negation...
Ken Kaneiwa, Satoshi Tojo
IEAAIE
2001
Springer
15 years 11 months ago
A New Approach in Object-Based Knowledge Representation: The AROM System
Abstract. This paper presents AROM, a new object-based knowledge representation system. AROM is original in two ways. Firstly, in addition to classes, knowledge representation in A...
Michel Page, Jérôme Gensel, Cé...
INAP
2001
Springer
15 years 11 months ago
ISCO: A Practical Language for Logic-Based Construction of Heterogeneous Information Systems
Universidade de ´Evora’s Integrated Information System (SIIUE) aims at representing the entire universe of concepts useful for the management and day-to-day operation of the Or...
Salvador Abreu
IWDC
2001
Springer
210views Communications» more  IWDC 2001»
15 years 11 months ago
Access Control Protocols for Interconnected WDM Rings in the DAVID Metro Network
DAVID (Data And Voice Integration over D-WDM) is a research project sponsored by the European Community aimed at the design of an optical packet-switched network for the transport ...
Andrea Bianco, Giulio Galante, Emilio Leonardi, Fa...