7890 search results - page 183 / 1578 » The MathSAT 3 System |
124
click to vote
JEI
2006
15 years 5 months ago
2006
We propose a system to calculate the spatial distortion in 3-D images based on the shooting, display, and viewing conditions. It can be used to predict the extent of the perceived ...
133
click to vote
JOT
2007
15 years 5 months ago
2007
This paper describes the integration of our Java-based screensaver framework with our Initium Remote Job Submission (IRJS) grid computing middleware. Initium RJS is a Java Web Sta...
148
click to vote
COMSIS
2004
15 years 5 months ago
2004
This paper presents a method and concepts of a supporting tool for rapid prototyping of large-scale business information systems. Our method is based on the following guidelines: (...
185
click to vote
NC
2011
15 years 1 days ago
2011
We consider recognizer P systems having three polarizations associated to the membranes, and we show that they are able to solve the PSPACEcomplete problem Quantified 3SAT when wo...
138
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Recent studies have investigated lattice-reduction (LR) preprocessing technique for multiple-inputmultiple-output (MIMO) detection. However, if LR is applied to the orthogonalfreq...