2911 search results - page 310 / 583 » A Theory of Expressiveness in Mechanisms |
159
Voted
ASIAN
2003
Springer
16 years 23 days ago
2003
Springer
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automated verification usually fails for functions with accumulating ar...
177
Voted
ATAL
2003
Springer
16 years 23 days 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...
214
click to vote
CAEPIA
2003
Springer
16 years 23 days 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...
157
Voted
CDC
2009
IEEE
16 years 7 days 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...
212
click to vote
CL
2000
Springer
15 years 12 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...