5707 search results - page 85 / 1142 » Symbolic Simulation - Techniques and Applications |
171
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
— This paper proposes an efficient blind deterministic carrier frequency offset (CFO) estimation method for orthogonal frequency division multiplexing (OFDM) systems. In the pro...
154
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
1 - This paper presents an efficient design exploration environment for high-end core processors. The heart of the proposed design exploration framework is a two-level simulation e...
164
click to vote
ROBOCUP
2005
Springer
15 years 12 months ago
2005
Springer
UCHILSIM is a robot simulator recently introduced in the RoboCup Four Legged League. A main attractive of the simulator is the possibility of reproducing with accuracy the dynamica...
163
click to vote
VMCAI
2007
Springer
16 years 15 days ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
185
click to vote
HYBRID
1998
Springer
15 years 10 months ago
1998
Springer
Hybridconnectionist symbolic systems have been the subject of muchrecent research in AI. By focusing on the implementation of highlevel human cognitive processes e.g., rule-based i...