2465 search results - page 145 / 493 » Automata on Linear Orderings |
DAGSTUHL
2008
13 years 10 months ago
2008
Abstract. A parallel version of the self-verified method for solving linear systems was presented in [19, 18]. In this research we propose improvements aiming at a better performan...
ICML
2009
IEEE
14 years 10 months ago
2009
IEEE
We show how variational Bayesian inference can be implemented for very large generalized linear models. Our relaxation is proven to be a convex problem for any log-concave model. ...
CISIS
2009
IEEE
14 years 4 months ago
2009
IEEE
Abstract. We focus on discrete event systems with a structure of parallel processing, synchronization, and noconcurrency. We use max-plus algebra, which is an effective approach fo...
DAC
1998
ACM
14 years 1 months ago
1998
ACM
This paper presents a general method for computing transient sensitivities using the adjoint method in event driven simulation algorithms that employ piecewise linear device model...
ICIP
2003
IEEE
14 years 11 months ago
2003
IEEE
This paper presents an efticient technique for real-time tracking of a single moving object in terrestrial scenes using a stationary camera. The tracking algorithm is based on the...