1138 search results - page 126 / 228 » First-Order Model Checking Problems Parameterized by the Mod... |
162
Voted
IWPEC
2010
Springer
15 years 15 days ago
2010
Springer
We consider the computational complexity of a problem modeling bribery in the context of voting systems. In the scenario of Swap Bribery, each voter assigns a certain price for swa...
102
Voted
AI
2005
Springer
15 years 2 months ago
2005
Springer
We consider the problem of how an agent's knowledge can be updated. We propose a formal method of knowledge update on the basis of the semantics of modal logic S5. In our met...
131
click to vote
ETFA
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper, the effect of network-induced delay introduced into the control loop is modelled as time-varying disturbance. Based on this model, a fault isolation filter (FIF) f...
119
click to vote
ACMSE
2005
ACM
15 years 8 months ago
2005
ACM
A simple extension to the relational model that permits metadata (more generally metaknowledge) to be stored and manipulated as first class data is proposed. The accompanying que...
116
Voted
ECCV
2006
Springer
15 years 6 months ago
2006
Springer
This paper addresses the problem of articulated motion tracking from image sequences. We describe a method that relies on both an explicit parameterization of the extremal contours...