20024 search results - page 3565 / 4005 » Database Management Systems |
124
click to vote
CAV
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
165
click to vote
DSOM
2000
Springer
15 years 9 months ago
2000
Springer
Operational Data Analysis (ODA) automatically 1) monitors the performance of a computer through time, 2) stores such information in a data repository, 3) applies data-mining techn...
174
click to vote
HIPC
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. Recent times have seen an explosive growth in the availability of various kinds of data. It has resulted in an unprecedented opportunity to develop automated data-driven ...
154
click to vote
FGR
1998
IEEE
15 years 9 months ago
1998
IEEE
Current approaches to automated analysis have focused on a small set of prototypic expressions (e.g., joy or anger). Prototypic expressions occur infrequently in everyday life, ho...
136
Voted
ISMIS
1999
Springer
15 years 9 months ago
1999
Springer
Semantic Query Optimisation makes use of the semantic knowledge of a database (rules) to perform query transformation. Rules are normally learned from former queries fired by the u...