Sciweavers

753 search results - page 28 / 151
» Stability in geometric theories
Sort
View
DLOG
1997
14 years 11 months ago
Spatioterminological Reasoning: Subsumption Based on Geometrical Inferences
Abstract: This paper presents a theoretical basis for terminological reasoning about objects and their qualitative spatial relationships. In contrast to existing work, which mainly...
Volker Haarslev, Ralf Möller
AML
2000
101views more  AML 2000»
14 years 9 months ago
Local order property in nonelementary classes
We study a local version of the order property in several frameworks, with an emphasis on frameworks where the compactness theorem fails: (1) Inside a fixed model, (2) for classes ...
Rami P. Grossberg, Olivier Lessmann
SAGT
2010
Springer
202views Game Theory» more  SAGT 2010»
14 years 8 months ago
Computing Stable Outcomes in Hedonic Games
We study the computational complexity of finding stable outcomes in symmetric additively-separable hedonic games. These coalition formation games are specified by an undirected e...
Martin Gairing, Rahul Savani
ECIR
2011
Springer
14 years 1 months ago
Towards Quantum-Based DB+IR Processing Based on the Principle of Polyrepresentation
The cognitively motivated principle of polyrepresentation still lacks a theoretical foundation in IR. In this work, we discuss two competing polyrepresentation frameworks that are ...
David Zellhöfer, Ingo Frommholz, Ingo Schmitt...
CDC
2009
IEEE
259views Control Systems» more  CDC 2009»
15 years 2 months ago
Comparison of stability characterisations for networked control systems
— This paper presents linear matrix inequalities for stability analysis for networked control systems (NCSs) that incorporates various network phenomena: time-varying sampling in...
Laurentiu Hetel, Marieke B. G. Cloosterman, Nathan...