Sciweavers

7961 search results - page 1044 / 1593
» Input-Output Model Programs
Sort
View
AOR
2010
15 years 4 months ago
Sphere Methods for LP
The sphere method for solving linear programs operates with only a subset of constraints in the model in each iteration, and thus has the advantage of handling instances which may...
Katta G. Murty, Mohammad R. Oskoorouchi
IGARSS
2010
15 years 2 months ago
A phase screen simulator for predicting the impact of small-scale ionospheric structure on SAR image formation and interferometr
We describe the SAR Scintillation Simulator (SAR-SS), a new phase screen model for simulating the impact of smallscale ionospheric structure on SAR image formation and interferome...
Charles S. Carrano, Keith M. Groves, Ronald G. Cat...
JDCTA
2010
161views more  JDCTA 2010»
15 years 1 months ago
Selection of Wavelet Decomposition Level in Multi-Scale Sensor Data Fusion of MEMS Gyroscope
Because the characteristic of wavelet transform is multi-resolution, their unique advantage of the data model is multi-scale analysis. Then, it's widely used the Wavelet-base...
Ren Ya-fei, Ke Xi-zheng
CPHYSICS
2011
279views Education» more  CPHYSICS 2011»
14 years 10 months ago
CAMORRA: A C++ library for recursive computation of particle scattering amplitudes
We present a new Monte Carlo tool that computes full tree-level matrix elements in high-energy physics. The program accepts user-defined models and has no restrictions on the pro...
R. Kleiss, G. van den Oord
POPL
2010
ACM
16 years 4 months ago
Toward a Verified Relational Database Management System
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
Avraham Shinnar, Greg Morrisett, J. Gregory Malech...
« Prev « First page 1044 / 1593 Last » Next »