4674 search results - page 211 / 935 » cases 2008 |
158
click to vote
FLAIRS
2008
15 years 8 months ago
2008
We are interested in building decision-support software for social welfare case managers. Our model in the form of a factored Markov decision process is so complex that a standard...
199
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
Abstract. The Mondex case study concerns the formal development and verification of an electronic purse protocol. Several groups have worked on its specification and mechanical ver...
163
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The Choquet integral w.r.t. a capacity can be seen in the finite case as a parsimonious linear interpolator between vertices of [0, 1]n. We take this basic fact as a starting poin...
124
click to vote
CDC
2008
IEEE
16 years 29 days ago
2008
IEEE
— In this paper we study the Carnot-Caratheodory metrics on SU(2) S3 , SO(3) and SL(2) induced by their Cartan decomposition and by the Killing form. Besides computing explicitly...
151
click to vote
ISCC
2008
IEEE
16 years 27 days ago
2008
IEEE
The present paper presents a Markov Chain model of polling in noisy multi-hop systems typical of Power Line Communications (PLC) as well as of other systems. The model includes the...