Sciweavers

11808 search results - page 126 / 2362
» Isometries and Computability Structures
Sort
View
SGAI
2010
Springer
14 years 11 months ago
A Structural Approach to Sensor Placement based on Symbolic Compilation of the Model
: In the present paper we address the problem of computing the Minimal Additional Sensor Sets (MASS) that guarantee a desired level of diagnostic discrimination for a system. Recen...
Gianluca Torta, Pietro Torasso
ICPR
2006
IEEE
16 years 5 months ago
Effective and Generic Structure from Motion using Angular Error
Generic camera modeling using raxels and associated methods was recently introduced in Computer Vision. The main advantage is the applicability for any camera model, which contras...
Maxime Lhuillier
ICPR
2008
IEEE
15 years 11 months ago
Fast and automatic reconstruction of structured illumination microscopy images with multiscale products
In this paper, we propose a new method to reconstruct high resolution images from structured illumination microscopy. It consists of estimating the illumination pattern parameters...
Clovis Tauber, Pedro Felipe Gardeazabal Rodriguez,...
LICS
2006
IEEE
15 years 10 months ago
A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...
Marcelo P. Fiore, Sam Staton
DAC
2009
ACM
15 years 7 months ago
GPU friendly fast Poisson solver for structured power grid network analysis
In this paper, we propose a novel simulation algorithm for large scale structured power grid networks. The new method formulates the traditional linear system as a special two-dim...
Jin Shi, Yici Cai, Wenting Hou, Liwei Ma, Sheldon ...