2911 search results - page 307 / 583 » A Theory of Expressiveness in Mechanisms |
195
click to vote
ICWMC
2006
IEEE
16 years 22 days ago
2006
IEEE
: We present a predictive handoff mechanism that can predict the occurrence of L2 handoff well. It can be used as a trigger for Mobile IP to start network layer handoff ahead exact...
151
click to vote
IEEECGIV
2006
IEEE
16 years 22 days ago
2006
IEEE
We present a novel approach to the problem of hairstyle construction from raw surface data such as the ones obtained from surface scans. Our approach is based on a shape matching ...
193
click to vote
ACL2
2006
ACM
16 years 20 days ago
2006
ACM
We describe an embedding of the ACL2 logic into higherorder logic. An implementation of this embedding allows ACL2 to be used as an oracle for higher-order logic provers. Categori...
152
click to vote
SAC
2006
ACM
16 years 19 days ago
2006
ACM
In the paper we describe the problem of grouping and aggregation in the concept-oriented data model. The model is based on ordering its elements within a hierarchical multidimensi...
185
click to vote
VALUETOOLS
2006
ACM
16 years 19 days ago
2006
ACM
In the context of communication networks, the framework of stochastic event graphs allows a modeling of control mechanisms induced by the communication protocol and an analysis of ...