10568 search results - page 1938 / 2114 » Computer Intelligence and Formalization |
138
Voted
POPL
1998
ACM
15 years 7 months ago
1998
ACM
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...
127
Voted
IH
1998
Springer
15 years 7 months ago
1998
Springer
In the last few years, a large number of schemes have been proposed for hiding copyright marks and other information in digital pictures, video, audio and other multimedia objects....
139
Voted
VLDB
1998
ACM
15 years 7 months ago
1998
ACM
This paper deals with finding outliers (exceptions) in large, multidimensional datasets. The identification of outliers can lead to the discovery of truly unexpected knowledge in ...
137
Voted
SIGMOD
1997
ACM
15 years 7 months ago
1997
ACM
The goal of the InfoSleuth project at MCC is to exploit and synthesize new technologies into a uni ed system that retrieves and processes information in an ever-changing network o...
137
Voted
TIME
1994
IEEE
15 years 7 months ago
1994
IEEE
We formulate an algebra of binary temporal relations between events the number of occurrences of which is unknown, but which are known to recur in time. Ontologically, we view the...