Sciweavers

6014 search results - page 1058 / 1203
» Structural Testing with Use Cases
Sort
View
130
Voted
ICASSP
2011
IEEE
14 years 7 months ago
Variational Bayesian Kalman filtering in dynamical tomography
The problem of dynamical tomography consists in reconstructing a temporal sequence of images from their noisy projections. For this purpose, a recursive algorithm is usually used,...
Boujemaa Ait-El-Fquih, Thomas Rodet
141
Voted
ICASSP
2011
IEEE
14 years 7 months ago
Empirical weighting for Blind Source Separation in a multiple-snapshots scenario
We consider the blind separation of sources with general (e.g., not necessarily stationary) temporal covariance structures. When the sources’ temporal covariance matrices are kn...
Arie Yeredor
229
Voted
FORTE
2011
14 years 7 months ago
A Framework for Verifying Data-Centric Protocols
Abstract. Data centric languages, such as recursive rule based languages, have been proposed to program distributed applications over networks. They simplify greatly the code, whic...
Yuxin Deng, Stéphane Grumbach, Jean-Fran&cc...
WWW
2004
ACM
16 years 4 months ago
Designing and Creating a Web Site Based on RDF Content
This paper presents a method and a tool for designing and automatically creating an HTML web site for publishing Semantic Web content represented in RDF(S). The idea is to specify...
Eero Hyvönen, Kim Viljanen, Markus Holi
ICCAD
2001
IEEE
185views Hardware» more  ICCAD 2001»
16 years 19 days ago
Application-Driven Processor Design Exploration for Power-Performance Trade-off Analysis
1 - This paper presents an efficient design exploration environment for high-end core processors. The heart of the proposed design exploration framework is a two-level simulation e...
Diana Marculescu, Anoop Iyer
« Prev « First page 1058 / 1203 Last » Next »