5015 search results - page 784 / 1003 » Model Checking a Path |
100
Voted
ENGL
2007
15 years 2 months ago
2007
—A Lagrangian-Eulerian numerical scheme for the investigation of bubble motion in turbulent flow is developed. The flow is analyzed in the Eulerian reference frame while the bubb...
114
Voted
RAS
2006
15 years 2 months ago
2006
Mobile robots must cope with uncertainty from many sources along the path from interpreting raw sensor inputs to behavior selection to execution of the resulting primitive actions...
124
click to vote
ICC
2009
IEEE
15 years 12 days ago
2009
IEEE
In the information-theoretic literature, it has been widely shown that multicell processing is able to provide high capacity gains in the context of cellular systems and that the p...
124
click to vote
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
The Markov chain approximation method is an effective and widely used approach for computing optimal values and controls for stochastic systems. It was extended to nonlinear (and p...
140
Voted
TMM
2011
14 years 9 months ago
2011
Abstract—Supporting video transmission over error-prone mobile ad-hoc networks is becoming increasingly important as these networks become more widely deployed. We propose a rout...