3229 search results - page 442 / 646 » Mixing |
193
click to vote
LICS
2007
IEEE
16 years 12 days ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
171
click to vote
RTAS
2007
IEEE
16 years 12 days ago
2007
IEEE
Most of today’s real-time embedded systems consist of a heterogeneous mix of fully-programmable processors, fixed-function components or hardware accelerators, and partially-pr...
181
Voted
SEMCO
2007
IEEE
16 years 12 days ago
2007
IEEE
Human visual recognition is based largely on shape, yet effectively using shapes in natural image retrieval is a challenging task. Most existing methods are based on the geometric...
200
click to vote
SEMCO
2007
IEEE
16 years 12 days ago
2007
IEEE
This paper presents a new clustering algorithm called DSCBC which is designed to automatically discover word senses for polysemous words. DSCBC is an extension of CBC Clustering [...
144
click to vote
VTC
2007
IEEE
16 years 12 days ago
2007
IEEE
—Coupling Vehicular Ad Hoc Networks (VANETs) with wired networks such as the Internet via access points creates a difficult mix of highly mobile nodes and a static infrastructur...