3573 search results - page 410 / 715 » Reasoning about Codata |
128
click to vote
SIGMOD
2010
ACM
15 years 6 months ago
2010
ACM
Large, dynamic, and ad-hoc organizations must frequently initiate data integration and sharing efforts with insufficient awareness of how organizational data sources are related. ...
168
click to vote
ECSA
2010
Springer
15 years 6 months ago
2010
Springer
Although primarily studied in the context of product lines, variability is a key fact about most systems and therefore a concern for the architectures of those systems. Thus it is...
179
click to vote
IAT
2008
IEEE
15 years 6 months ago
2008
IEEE
As information and communication technologies are becoming an integral part of our homes, the demand for AmI systems with assistive functionality is increasing. A great effort has...
190
click to vote
AI
2008
Springer
15 years 6 months ago
2008
Springer
It is well-known that knowledgebases may contain inconsistencies. We provide a framework of measures, based on a first-order four-valued logic, to quantify the inconsistency of a ...
196
click to vote
ENTCS
2006
15 years 6 months ago
2006
To broaden the scope of decision procedures for linear arithmetic, they have to be integrated into theorem provers. Successful approaches e.g. in NQTHM or ACL2 suggest a close int...