3335 search results - page 426 / 667 » Grid result checking |
169
click to vote
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...
190
click to vote
DLOG
2009
15 years 4 months ago
2009
Abstract. I will begin by explaining an optimal tableau-based algorithm for checking ALC-satisfiability which uses "global caching" and which appears to work well in prac...
173
click to vote
ICASSP
2009
IEEE
15 years 4 months ago
2009
IEEE
The clipping of log-likelihood ratios (LLRs) in soft demodulators for multiple-input multiple-output (MIMO) systems with bitinterleaved coded modulation (BICM) was recently observ...
131
click to vote
ICCAD
2009
IEEE
15 years 4 months ago
2009
IEEE
A generalized Hamiltonian method (GHM) is proposed for passivity test of descriptor systems (DSs) which describe impedance or admittance input-output responses. GHM can test passi...
140
click to vote
ICIP
2009
IEEE
15 years 4 months ago
2009
IEEE
The proper segmentation of the vascular system of the retina has a very important role in automatic screening systems. Its detection helps the localization of other anatomical par...