12774 search results - page 2277 / 2555 » A Framework for Proof Systems |
184
Voted
DATE
2000
IEEE
15 years 11 months ago
2000
IEEE
-- One of the greatest challenges in C/C++-based design methodology is to efficiently map C/C++ models into hardware. Many of the networking and multimedia applications implemente...
160
click to vote
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper explores the marketing of daily consumer goods in a pilot Web-based supermarket, in which no regular customers existed from among 65 registered ones at the end of the p...
153
click to vote
ICC
2000
IEEE
15 years 11 months ago
2000
IEEE
— In this paper1 an optimum and sub-optimum maximum likelihood (ML) rule for joint frame and carrier frequency offset estimation are derived, which rely on the transmission of a...
211
Voted
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
: Automatic content-based analysis and indexing of broadcast news recordings or digitized news archives is becoming an important tool in the framework of many multimedia interactiv...
184
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
The switch design for interconnection networks plays an important role in the overall performance of multiprocessors and computer networks. It is therefore crucial to study variou...