1743 search results - page 246 / 349 » Generalized Modal Satisfiability |
160
click to vote
WCNC
2010
IEEE
15 years 8 months ago
2010
IEEE
—Enabling users to connect to the best available network, dynamic network selection scheme is important for satisfying various quality of service (QoS) requirements, achieving se...
141
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
This paper presents a novel approach for a free structure analog circuit design using Genetic Algorithms (GA). A major problem in a free structure circuit is its sensitivity calcu...
166
click to vote
ATAL
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we introduce a model for direct communication in situated multi-agent systems. Direct communication is typically associated with cognitive agents, where the informat...
165
click to vote
APPROX
2006
Springer
15 years 8 months ago
2006
Springer
In this paper, we develop a new "robust mixing" framework for reasoning about adversarially modified Markov Chains (AMMC). Let P be the transition matrix of an irreducib...
147
click to vote
ECRTS
2004
IEEE
15 years 8 months ago
2004
IEEE
Computing systems, ranging from small battery-operated embedded systems to more complex general purpose systems, are designed to satisfy various computation demands in some accept...