Sciweavers

780 search results - page 86 / 156
» Inverse Probleme
Sort
View
MCM
2011
15 years 2 months ago
The shape of the polymerization rate in the prion equation
We consider a polymerization (fragmentation) model with size-dependent parameters involved in prion proliferation. Using power laws for the different rates of this model, we reco...
Pierre Gabriel
224
Voted
ICASSP
2011
IEEE
14 years 11 months ago
Saturation-robust SAR image formation
The formation of synthetic aperture radar (SAR) images is formulated as an inverse problem, a flexible approach suitable for a variety of acquisition systems and signal models. T...
Dennis Wei, Petros Boufounos
WCRE
1993
IEEE
15 years 11 months ago
A Practical Program Transformation System for Reverse Engineering
Program transformation systems provide one means of formally deriving a program from its speci cation. The main advantage of this development method is that the executable program...
M. Ward, K. Bennett
DLOG
2007
15 years 9 months ago
A New Mapping from ALCI to ALC
Abstract. This paper studies a technique for mapping ALCI knowledge bases into ALC. Worst-case optimal tableau-based procedures for the satisfiability/consistency problem w.r.t. g...
Yu Ding, Volker Haarslev, Jiewen Wu
FPL
2008
Springer
120views Hardware» more  FPL 2008»
15 years 9 months ago
An FPGA-based implementation of the MINRES algorithm
Due to continuous improvements in the resources available on FPGAs, it is becoming increasingly possible to accelerate floating point algorithms. The solution of a system of linea...
David Boland, George A. Constantinides