Sciweavers

3773 search results - page 698 / 755
» Using Ontologies for Integrated Geographic Information Syste...
Sort
View
DAGSTUHL
2003
15 years 5 months ago
Policies: Giving Users Control over Calls
Abstract. Features provide extensions to a basic service, but in new systems users require much greater flexibility oriented towards their needs. Traditional features do not easil...
Stephan Reiff-Marganiec
ICDT
2010
ACM
163views Database» more  ICDT 2010»
15 years 3 months ago
Composing Local-As-View Mappings
Schema mapping composition is a fundamental operation in schema management and data exchange. The mapping composition problem has been extensively studied for a number of mapping ...
Patricia Arocena, Ariel Fuxman, Renee Miller
SIGCSE
2009
ACM
179views Education» more  SIGCSE 2009»
16 years 4 months ago
Methods, metrics and motivation for a green computer science program
Computer science educators are uniquely positioned to promote greater awareness of Green Computing, using the academic setting to encourage environmentally conscious use of techno...
Mujtaba Talebi, Thomas Way
KBSE
2009
IEEE
15 years 10 months ago
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
Lucas Cordeiro, Bernd Fischer, João Marques...
IV
2009
IEEE
141views Visualization» more  IV 2009»
15 years 10 months ago
Connecting Genes with Diseases
We present a visual data mining application using the combination of clinical data, pathways and biomolecular data. Using pathways to navigate and filter the clinical and molecula...
Heimo Müller, Robert Reihs, Stefan Sauer 0002...