Sciweavers

1313 search results - page 166 / 263
» Generic Universe Types
Sort
View
ICADL
2010
Springer
188views Education» more  ICADL 2010»
15 years 10 months ago
A Collaborative Scholarly Annotation System for Dynamic Web Documents - A Literary Case Study
This paper describes ongoing work within the Aus-e-Lit project at the University of Queensland to provide collaborative annotation tools for Australian Literary Scholars. It descri...
Anna Gerber, Andrew Hyland, Jane Hunter
ICALP
2010
Springer
15 years 10 months ago
Automata for Coalgebras: An Approach Using Predicate Liftings
Universal Coalgebra provides the notion of a coalgebra as the natural mathematical generalization of state-based evolving systems such as (infinite) words, trees, and transition s...
Gaëlle Fontaine, Raul Andres Leal, Yde Venema
PKDD
1999
Springer
109views Data Mining» more  PKDD 1999»
15 years 9 months ago
Predicting Chemical Carcinogenesis Using Structural Information Only
This paper reports on the application of the Strongly Typed Evolutionary Programming System STEPS to the PTE2 challenge, which consists of predicting the carcinogenic activity of...
Claire J. Kennedy, Christophe G. Giraud-Carrier, D...
VLDB
1999
ACM
131views Database» more  VLDB 1999»
15 years 9 months ago
High-Performance Extensible Indexing
Today’s object-relational DBMSs (ORDBMSs) are designed to support novel application domains by providing an extensible architecture, supplemented by domain-specific database ex...
Marcel Kornacker
VLDB
1993
ACM
116views Database» more  VLDB 1993»
15 years 9 months ago
Algebraic Optimization of Computations over Scientific Databases
Although scientific data analysis increasingly requires accessandmanipulation of large quantitiesof data,current databasetechnology fails to meet the needsof scientific processing...
Richard H. Wolniewicz, Goetz Graefe