4341 search results - page 710 / 869 » Quantitative Model checking |
203
click to vote
ICTAI
2010
IEEE
15 years 4 months ago
2010
IEEE
A conversational recommender system iteratively shows a small set of options for its user to choose between. In order to select these options, the system may analyze the queries tr...
181
click to vote
IGARSS
2010
15 years 4 months ago
2010
Sequential multi-sensor satellite images are used for the computation of mesoscale surface currents in the Northern and Southern Baltic Proper. Different marine surface films and ...
190
click to vote
MICCAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. A novel method for estimating a field of orientation distribution functions (ODF) from a given set of DW-MR images is presented. We model the ODF by Cartesian tensor basi...
278
click to vote
PDPTA
2010
15 years 4 months ago
2010
Lattice gas cellular automata (LGCA) models provide a relatively fast means of simulating fluid flow and can give both quantitative and qualitative insights into flow patterns aro...
195
click to vote
SECON
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper bears on the design and the quantitative evaluation of MAC mechanisms for wireless ad-hoc networks with performance guarantees. By this, we mean mechanisms where each ac...