1755 search results - page 61 / 351 » An efficient simulation algorithm based on abstract interpre... |
CORR
2004
Springer
14 years 9 months ago
2004
Springer
Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the safe omission of the occ...
JCM
2007
14 years 9 months ago
2007
– Orthogonal Frequency Division Multiplexing is a promising technology for high data rate transmission in wideband wireless systems for achieving high downlink capabilities in th...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
This paper presents an efficient implementation of a robust adaptive beamforming algorithm based on convex optimization for applications in the processing-constrained environment...
ASMTA
2008
Springer
14 years 11 months ago
2008
Springer
The solution of continuous and discrete-time Markovian models is still challenging mainly when we model large complex systems, for example, to obtain performance indexes of paralle...
ICIP
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, We propose an efficient compression method to encode the geometry of 3D mesh sequences of objects sharing the same connectivity. Our approach is based on the cluste...