5599 search results - page 433 / 1120 » Abstract State Services |
183
click to vote
IVA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The human ability to express and recognize emotions plays an important role in face-to-face communication, and as technology advances it will be increasingly important fo...
211
Voted
ICTAI
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--The difficulties encountered in sequential decisionmaking problems under uncertainty are often linked to the large size of the state space. Exploiting the structure of th...
225
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract-- We consider problems where multiple agents cooperate to control their individual state so as to optimize a common objective while communicating with each other to exchan...
190
click to vote
AMAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
190
click to vote
STTT
2010
15 years 1 months ago
2010
Abstract. Partial order reduction limits the state explosion problem that arises in model checking by limiting the exploration of redundant interleavings. A state space search algo...