999 search results - page 14 / 200 » On the Decidability of Functional Uncertainty |
ICDE
2009
IEEE
14 years 10 months ago
2009
IEEE
Mediator-based data integration systems resolve exploratory queries by joining data elements across sources. In the presence of uncertainties, such multiple expansions can quickly ...
AUTOMATICA
2007
13 years 8 months ago
2007
This paper proposes a dynamic output feedback variable structure controller for linear MIMO systems with mismatched and matched normbounded uncertainties and matched nonlinear dis...
UAI
2004
13 years 10 months ago
2004
Mechanism design has found considerable application to the construction of agent-interaction protocols. In the standard setting, the type (e.g., utility function) of an agent is n...
OSDI
2006
ACM
14 years 9 months ago
2006
ACM
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presen...
VLDB
2005
ACM
14 years 2 months ago
2005
ACM
In many systems, sensors are used to acquire information from external environments such as temperature, pressure and locations. Due to continuous changes in these values, and lim...