1933 search results - page 282 / 387 » Query Containment Using Views |
130
Voted
KDD
1997
ACM
15 years 7 months ago
1997
ACM
MineSetTM , Silicon Graphics’ interactive system for data mining, integrates three powerful technologies: database access, analytical data mining, and data visualization. It sup...
130
Voted
EVOW
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. The increased availability of biological databases containing representations of complex objects permits access to vast amounts of data. In spite of the recent renewed in...
190
Voted
BANFF
1995
15 years 6 months ago
1995
The automata-theoretic approach to linear temporal logic uses the theory of automata as a unifying paradigm for program specification, verification, and synthesis. Both programs ...
132
Voted
TIC
2000
Springer
15 years 6 months ago
2000
Springer
Singleton kinds provide an elegant device for expressing type equality information resulting from modern module languages, but they can severely complicate the metatheory of langu...
104
Voted
DOCENG
2008
ACM
15 years 4 months ago
2008
ACM
In this paper we examine adaptive time-based web applications (or presentations). These are interactive presentations where time dictates the major structure, and that require int...