4962 search results - page 547 / 993 » Stochastic Model Checking |
131
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— In this paper we present a gradient method to iteratively update local controllers of a distributed linear system driven by stochastic disturbances. The control objective is to...
145
click to vote
MDM
2001
Springer
15 years 9 months ago
2001
Springer
An system-level power management technique for massively distributed wireless microsensor networks is proposed. A power aware sensor node model is introduced which enables the embe...
125
click to vote
DATE
2000
IEEE
15 years 9 months ago
2000
IEEE
A new method for computation of timing jitter in a PLL is proposed. The computational method is based on the representation of the circuit as a linear time-varying system with mod...
120
click to vote
AAAI
2007
15 years 7 months ago
2007
We study the behavior of the classical A∗ search algorithm when coupled with a heuristic that provides estimates, accurate to within a small multiplicative factor, of the distan...
152
click to vote
ACL
2008
15 years 6 months ago
2008
We present a novel semi-supervised training algorithm for learning dependency parsers. By combining a supervised large margin loss with an unsupervised least squares loss, a discr...