696 search results - page 26 / 140 » Active Disks: Programming Model, Algorithms and Evaluation |
HUC
2010
Springer
13 years 9 months ago
2010
Springer
This work presents the design and evaluation of an activity recognition system for seven important motion related activities. The only sensor used is an Inertial Measurement Unit ...
CAV
2007
Springer
14 years 1 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
IJCAI
2007
13 years 10 months ago
2007
In the context of operative disruption management, decision support systems have to evaluate the typically manifold options of responding to disturbances: The temporal shift of ac...
VTC
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— An adaptive handover algorithm for wireless comn systems is addressed in this extended abstract. Moving from the Generalized Extended Least Square handover algorithm in...
WWW
2006
ACM
14 years 10 months ago
2006
ACM
Large-scale text categorization is an important research topic for Web data mining. One of the challenges in large-scale text categorization is how to reduce the amount of human e...