4075 search results - page 219 / 815 » Modeling Distributed Algorithm Using B |
197
click to vote
AAAI
2010
15 years 8 months ago
2010
Forming effective coalitions is a major research challenge in AI and multi-agent systems (MAS). Coalition Structure Generation (CSG) involves partitioning a set of agents into coa...
214
click to vote
SASO
2009
IEEE
16 years 1 months ago
2009
IEEE
—The complexity of distributed computing systems and their increasing interaction with the physical world impose challenging requirements in terms of adaptation, robustness, and ...
187
click to vote
ICCAD
1996
IEEE
15 years 10 months ago
1996
IEEE
The analysis of CMOS VLSI circuit switching current has become an increasingly important and difficult task from both a VLSI design and simulation software perspective. This paper...
169
click to vote
IJMMS
2008
15 years 6 months ago
2008
We present automated, real-time models built with machine learning algorithms which use videotapes of subjects' faces in conjunction with physiological measurements to predic...
182
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
Protocols which solve agreement problems are essential building blocks for fault tolerant distributed applications. While many protocols have been published, little has been done ...