7988 search results - page 1140 / 1598 » A Useful Undecidable Theory |
210
click to vote
ICN
2009
Springer
15 years 4 months ago
2009
Springer
It is essential that a monitoring system is being designed with performance and scalability in mind. But due to the diversity and complexity of both the monitoring and the monitore...
230
click to vote
AAMAS
2011
Springer
15 years 2 months ago
2011
Springer
The stable marriage problem is a well-known problem of matching men to women so that no man and woman who are not married to each other both prefer each other. Such a problem has a...
200
Voted
AI
2011
Springer
15 years 2 months ago
2011
Springer
Qualitative models are often a useful abstraction of the physical world. Learning qualitative models from numerical data sible way to obtain such an abstraction. We present a new ...
187
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
es of circulant matrices. Our class is broader than just circulants, and we study patterned systems using abstract algebra, specifically the observation that a set of matrices with...
234
click to vote
CORR
2011
Springer
15 years 2 months ago
2011
Springer
We study in this paper provenance information for queries with aggregation. Provenance information was studied in the context of various query languages that do not allow for aggr...