8828 search results - page 1174 / 1766 » Formal methods in practice |
189
click to vote
CHI
1997
ACM
15 years 11 months ago
1997
ACM
Flip zooming is a novel focus+context technique for visualizing large data sets. It offers an overview of the data, and gives users instant access to any part. Originally develope...
187
click to vote
COMPGEOM
1997
ACM
15 years 11 months ago
1997
ACM
Given a pair of nonidentical complex objects, de ning and determining how similar they are to each other is a nontrivial problem. In data mining applications, one frequently nee...
178
click to vote
LICS
1994
IEEE
15 years 11 months ago
1994
IEEE
Abadi and Cardelli have recently investigated a calculus of objects [2]. The calculus supports a key feature of object-oriented languages: an object can be emulated by another obj...
175
click to vote
CADE
1994
Springer
15 years 11 months ago
1994
Springer
Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic acc...
170
Voted
ECML
1993
Springer
15 years 11 months ago
1993
Springer
It is empirically known that most incremental learning systems are order dependent, i.e. provide results that depend on the particular order of the data presentation. This paper ai...