3229 search results - page 442 / 646 » Mixing |
234
click to vote
LICS
2007
IEEE
16 years 1 months 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...
204
click to vote
RTAS
2007
IEEE
16 years 1 months 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...
215
click to vote
SEMCO
2007
IEEE
16 years 1 months 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...
231
Voted
SEMCO
2007
IEEE
16 years 1 months 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 [...
165
click to vote
VTC
2007
IEEE
16 years 1 months 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...