168 search results - page 9 / 34 » A new perspective on feasibility determination |
BMEI
2009
IEEE
13 years 8 months ago
2009
IEEE
The Gaussian mixture model is a powerful statistical tool in data modeling and analysis. Generally, the EM algorithm is utilized to learn the parameters of the Gaussian mixture. Ho...
IAT
2006
IEEE
14 years 1 months ago
2006
IEEE
Combinatorial Auctions (CAs), where users bid on combination of items, have emerged as a useful tool for resource allocation in distributed systems. However, two main difficulties...
WCNC
2008
IEEE
14 years 2 months ago
2008
IEEE
—The application of directional antennas in wireless networks brings numerous benefits, such as increased spatial reuse and mitigated interferences. Most MAC protocols with dire...
FORTE
1994
13 years 9 months ago
1994
The record of successful applications of formal verification techniques is slowly growing. Our ultimate aim, however, is not to perform small pilot projects that show that verific...
ESORICS
2007
Springer
14 years 1 months ago
2007
Springer
Protocol participants manipulate values, transforming the cryptographic contexts in which they occur. The rules of the protocol determine which transformations are permitted. We fo...