1650 search results - page 160 / 330 » The HOM problem is decidable |
144
click to vote
PODS
2005
ACM
16 years 4 months ago
2005
ACM
Owners of sources registered in an information integration system, which provides answers to a (potentially evolving) set of client queries, need to know their contribution to the...
122
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this paper we prove that the transitive closure of a nondeterministic octagonal relation using integer counters can be expressed in Presburger arithmetic. The direct c...
134
click to vote
SEFM
2009
IEEE
15 years 11 months ago
2009
IEEE
Interval temporal logics are based on interval structures over linearly (or partially) ordered domains, where time intervals, rather than time instants, are the primitive ontologi...
169
click to vote
CIKM
2009
Springer
15 years 11 months ago
2009
Springer
Many outlier detection methods do not merely provide the decision for a single data object being or not being an outlier but give also an outlier score or “outlier factor” sig...
138
click to vote
FGIT
2009
Springer
15 years 11 months ago
2009
Springer
GRID environments are privileged targets for computation-intensive problem solving in areas from weather forecasting to seismic analysis. Mainly composed by commodity hardware, th...