611 search results - page 89 / 123 » Index Sets of Computable Structures with Decidable Theories |
158
click to vote
COMPGEOM
2005
ACM
15 years 3 months ago
2005
ACM
The persistence diagram of a real-valued function on a topological space is a multiset of points in the extended plane. We prove that under mild assumptions on the function, the p...
212
click to vote
SIGMOD
2008
ACM
16 years 2 months ago
2008
ACM
Computing statistical information on probabilistic data has attracted a lot of attention recently, as the data generated from a wide range of data sources are inherently fuzzy or ...
130
click to vote
AAAI
2006
15 years 3 months ago
2006
Relationships between concepts account for a large proportion of semantic knowledge. We present a nonparametric Bayesian model that discovers systems of related concepts. Given da...
156
click to vote
SSDBM
1999
IEEE
15 years 6 months ago
1999
IEEE
Multidimensional Analysis in On-Line Analytical Processing (OLAP), and Scientific and statistical databases (SSDB) use operations requiring summary information on multi-dimensiona...
116
click to vote
STACS
1994
Springer
15 years 6 months ago
1994
Springer
The L ? = NL question remains one of the major unresolved problems in complexity theory. Both L and NL have logical characterizations as the sets of totally ordered ( ) structures...