Sciweavers

1235 search results - page 147 / 247
» Structured Meanings in Computational Linguistics
Sort
View
MEMOCODE
2003
IEEE
15 years 3 months ago
Exact Runtime Analysis Using Automata-Based Symbolic Simulation
In this paper, we present a technique for determining tight bounds on the execution time of assembler programs. Thus, our method is independent of the design flow, but takes into...
Tobias Schüle, Klaus Schneider
CONCUR
2003
Springer
15 years 3 months ago
Distributed Monitoring of Concurrent and Asynchronous Systems
In this paper we study the diagnosis of distributed asynchronous systems with concurrency. Diagnosis is performed by a peer-to-peer distributed architecture of supervisors. Our app...
Albert Benveniste, Stefan Haar, Eric Fabre, Claude...
ICASSP
2011
IEEE
14 years 1 months ago
A new variational method for preserving point-like and curve-like singularities in 2-D images
We propose a new variational method to restore point-like and curvelike singularities in 2-D images. As points and open curves are fine structures, they are difficult to restore...
Daniele Graziani, Laure Blanc-Féraud, Gille...
CVPR
2007
IEEE
15 years 12 months ago
Segmenting Images on the Tensor Manifold
In this note, we propose a method to perform segmentation on the tensor manifold, that is, the space of positive definite matrices of given dimension. In this work, we explicitly ...
Yogesh Rathi, Allen Tannenbaum, Oleg V. Michailovi...
JMLR
2007
137views more  JMLR 2007»
14 years 9 months ago
Building Blocks for Variational Bayesian Learning of Latent Variable Models
We introduce standardised building blocks designed to be used with variational Bayesian learning. The blocks include Gaussian variables, summation, multiplication, nonlinearity, a...
Tapani Raiko, Harri Valpola, Markus Harva, Juha Ka...