10412 search results - page 1543 / 2083 » The efficiency of algorithms - misconceptions |
168
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We propose a SAT-based algorithm for incremental diagnosis of discrete-event systems. The monotonicity is ensured by a prediction window that uses the future observations...
153
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Weighted voting games are a popular model of collaboration in multiagent systems. In such games, each agent has a weight (intuitively corresponding to resources he can co...
174
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
A temporal constraint management system (TCMS) is a temporal network together with algorithms for managing the constraints in that network over time. This paper presents a practica...
216
click to vote
ESA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We consider approximate nearest neighbor searching in metric spaces of constant doubling dimension. More formally, we are given a set S of n points and an error bound &g...
176
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
In order to overcome the limitations of deductive logic-based approaches to deriving operational knowledge from ontologies, especially when data come from distributed sources, indu...