Sciweavers

4315 search results - page 164 / 863
» Sorting in linear time
Sort
View
RT
2000
Springer
14 years 22 days ago
Soft Shadow Maps for Linear Lights
Soft shadows and penumbra regions generated by extended light sources such as linear and area lights are visual effects that significantly contribute to the realism of a scene. In ...
Wolfgang Heidrich, Stefan Brabec, Hans-Peter Seide...
IMA
1995
Springer
97views Cryptology» more  IMA 1995»
14 years 21 days ago
A New Algorithm for Finding Minimum-Weight Words in Large Linear Codes
An algorithm for finding small-weight words in large linear codes is developed and a precise analysis of its complexity is given. It is in particular able to decode random [512,256...
Anne Canteaut
ASC
2000
13 years 10 months ago
Extended Neural Model Predictive Control of Non-Linear Systems
A neural model-based predictive control scheme is proposed for dealing with steady-state offsets found in standard MPC schemes. This structure is based on a constrained local inst...
P. Gil, J. Henriques, A. Dourado, H. Duarte-Ramos
ENTCS
2007
134views more  ENTCS 2007»
13 years 9 months ago
A Compact Linear Translation for Bounded Model Checking
We present a syntactic scheme for translating future-time LTL bounded model checking problems into propositional satisfiability problems. The scheme is similar in principle to th...
Paul B. Jackson, Daniel Sheridan
TSP
2008
178views more  TSP 2008»
13 years 9 months ago
Digital Computation of Linear Canonical Transforms
Abstract--We deal with the problem of efficient and accurate digital computation of the samples of the linear canonical transform (LCT) of a function, from the samples of the origi...
A. Koc, Haldun M. Özaktas, Cagatay Candan, M....