Sciweavers

5205 search results - page 784 / 1041
» Tilings and model theory
Sort
View
CDC
2010
IEEE
124views Control Systems» more  CDC 2010»
15 years 1 months ago
Underactuated control and distribution of multi-agent systems in stratified flow environments
The present paper shows how vertical actuation alone may be used to effectively control the spatial distribution of mobile vehicles ("balloons" in air, or "drifters&...
Robert H. Krohn, Thomas R. Bewley
CDC
2010
IEEE
15 years 1 months ago
Preference elicitation in Fully Probabilistic Design of decision strategies
Any systematic decision-making design selects a decision strategy that makes the resulting closed-loop behaviour close to the desired one. Fully Probabilistic Design (FPD) describe...
Miroslav Kárný, Tatiana V. Guy
CORR
2010
Springer
104views Education» more  CORR 2010»
15 years 1 months ago
Designing Incentive Schemes Based on Intervention: The Case of Imperfect Monitoring
In this paper, we propose a class of incentive schemes based on intervention. We develop a general game-theoretic framework for the design of intervention schemes under imperfect m...
Jaeok Park, Mihaela van der Schaar
JCST
2010
189views more  JCST 2010»
15 years 1 months ago
Formally Analyzing Expected Time Complexity of Algorithms Using Theorem Proving
Probabilistic techniques are widely used in the analysis of algorithms to estimate the computational complexity of algorithms or a computational problem. Traditionally, such analys...
Osman Hasan, Sofiène Tahar
SIGMETRICS
2010
ACM
146views Hardware» more  SIGMETRICS 2010»
15 years 1 months ago
In-degree dynamics of large-scale P2P systems
This paper builds a complete modeling framework for understanding user churn and in-degree dynamics in unstructured P2P systems in which each user can be viewed as a stationary al...
Zhongmei Yao, Daren B. H. Cline, Dmitri Loguinov