8099 search results - page 539 / 1620 » Higher-Order Task Models |
192
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
167
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— One of the key tasks during the realization of probabilistic approaches to localization is the design of a proper sensor model, that calculates the likelihood of a measurement ...
166
click to vote
ICAC
2007
IEEE
16 years 1 months ago
2007
IEEE
—A promising method of automating management tasks in computing systems is to formulate them as control or optimization problems in terms of performance metrics. For an online op...
200
click to vote
COST
2007
Springer
16 years 1 months ago
2007
Springer
The organization of a computational control model of articulatory speech synthesis is outlined in this paper. The model is based on general principles of neurophysiology and cognit...
160
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
UPC’s implicit communication and fine-grain programming style make application performance modeling a challenging task. The correspondence between remote references and communi...