2610 search results - page 98 / 522 » codes 2007 |
114
Voted
ENTCS
2007
15 years 3 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
127
Voted
PAMI
2007
15 years 3 months ago
2007
—In this paper, we introduce a family of filter kernels—the Gray-Code Kernels (GCK) and demonstrate their use in image analysis. Filtering an image with a sequence of Gray-Code...
139
Voted
ESTIMEDIA
2007
Springer
15 years 10 months ago
2007
Springer
Embedded software design for MPSoC needs parallel programming. Popular programming languages such as C and C++ are not adequate for initial specification since they are designed f...
109
Voted
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
: This paper presents a coarse coding technique and an action selection scheme for reinforcement learning (RL) in multi-dimensional and continuous state-action spaces following con...
87
Voted
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— This paper deals with code-aided (CA) maximumlikelihood (ML) phase and timing ambiguity resolution. We propose a methodology based on the sum-product algorithm (SPA) to...