2911 search results - page 310 / 583 » A Theory of Expressiveness in Mechanisms |
143
click to vote
ASIAN
2003
Springer
15 years 12 months ago
2003
Springer
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automated verification usually fails for functions with accumulating ar...
163
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
This paper studies argumentation-based dialogues between agents. It takes a previously defined system by which agents can trade arguments and examines the outcomes of the dialogu...
195
click to vote
CAEPIA
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. In recent years, particle filters have emerged as a useful tool that enables the application of Bayesian reasoning to problems requiring dynamic state estimation. The ef...
133
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Instantaneous charge/flux transfers may occur in switched electrical circuits when the switch configuration changes. Characterization of such state discontinuities is a class...
182
click to vote
CL
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We consider the problem of specifying and computing consistent answers to queries against databases that do not satisfy given integrity constraints. This is done by simul...