Sciweavers

2348 search results - page 82 / 470
» Stochastic Mapping Frameworks
Sort
View
ATAL
2005
Springer
15 years 3 months ago
OWL ontology translation based on the O3F framework
This paper presents an approach for ontology translation in the O3F ontology framework and a concrete implemented agent that translates between ontologies expressed in OWL. In the...
Luís Mota, Luís Miguel Botelho
ADBIS
1997
Springer
109views Database» more  ADBIS 1997»
15 years 2 months ago
A Graphical Yet Formalized Framework for Specifying View Systems
A graphical formalized language is proposed for specifying systems of views over database schemas. The language is based on the notion of arrow (mapping) between data schemas and ...
Zinovy Diskin, Boris Cadish
AVI
1996
14 years 11 months ago
A framework for user-interfaces to databases
A framework for user-interfaces to databases (IDSs) is proposed which draws from existing research on human computer interaction (HCI) and database systems. The framework is descr...
Kenneth J. Mitchell, Jessie B. Kennedy, Peter J. B...
ICCAD
2008
IEEE
84views Hardware» more  ICCAD 2008»
15 years 6 months ago
A voltage-frequency island aware energy optimization framework for networks-on-chip
— In this paper, we present a partitioning, mapping, and routing optimization framework for energy-efficient VFI (Voltage-Frequency Island) based Network-on-Chip. Unlike the rece...
Wooyoung Jang, Duo Ding, David Z. Pan
ENTCS
2008
94views more  ENTCS 2008»
14 years 10 months ago
A Logical Framework with Explicit Conversions
The type theory P corresponds to the logical framework LF. In this paper we present H, a variant of P where convertibility is not implemented by means of the customary conversion ...
Herman Geuvers, Freek Wiedijk