5707 search results - page 85 / 1142 » Symbolic Simulation - Techniques and Applications |
ICASSP
2011
IEEE
14 years 1 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...
ICCAD
2001
IEEE
15 years 6 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...
ROBOCUP
2005
Springer
15 years 3 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...
VMCAI
2007
Springer
15 years 4 months 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...
HYBRID
1998
Springer
15 years 2 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...