Sciweavers

2594 search results - page 211 / 519
» Elements of a Theory of Simulation
Sort
View
SAC
2010
ACM
15 years 11 months ago
MSP algorithm: multi-robot patrolling based on territory allocation using balanced graph partitioning
This article addresses the problem of efficient multi-robot patrolling in a known environment. The proposed approach assigns regions to each mobile agent. Every region is represen...
David Portugal, Rui Rocha
QEST
2006
IEEE
15 years 10 months ago
Compositional Quantitative Reasoning
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
Krishnendu Chatterjee, Luca de Alfaro, Marco Faell...
WICON
2008
15 years 6 months ago
Game-based admission control for wireless systems
Much previous work has examined the wireless power control problem using tools from game theory, an economic concept which describes the behavior of interdependent but non-coopera...
Benjamin Yolken, Nicholas Bambos
SYNTHESE
2008
73views more  SYNTHESE 2008»
15 years 4 months ago
It's in your nature: a pluralistic folk psychology
I suggest a pluralistic account of folk psychology according to which not all predictions or explanations rely on the attribution of mental states, and not all intentional actions ...
Kristin Andrews
168
Voted
ICC
2011
IEEE
219views Communications» more  ICC 2011»
14 years 4 months ago
Deterministic Equivalents for the Performance Analysis of Isometric Random Precoded Systems
—We consider a general wireless channel model for different types of code-division multiple access (CDMA) and space-division multiple-access (SDMA) systems with isometric random ...
Jakob Hoydis, Romain Couillet, Mérouane Deb...