972 search results - page 136 / 195 » Reasoning with Conditional Time-Intervals |
GLOBECOM
2006
IEEE
14 years 1 months ago
2006
IEEE
—The emerging IEEE 802.11e standard is expected to provide service differentiation and resource allocation for realtime traffic. To support the transmission of voice and multime...
IJCNN
2006
IEEE
14 years 1 months ago
2006
IEEE
We propose a new semi-supervised model selection method that is derived by applying the structural risk minimization principle to a recent semi-supervised generalization error bou...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
Having reliable security in systems is of the utmost importance. However, the existing framework of writing, distributing and linking against code in the form of libraries and/or ...
ADHOCNOW
2006
Springer
14 years 1 months ago
2006
Springer
In mobile ad hoc network research, simulation plays an important role in determining the network characteristics and measuring performance. On the other hand, unrealistic simulatio...
ACL2
2006
ACM
14 years 1 months ago
2006
ACM
Support for congruence-based rewriting is built into ACL2. This capability allows ACL2 to treat certain predicate relations ”just like equality” under appropriate conditions a...