3715 search results - page 654 / 743 » A Space Optimization for FP-Growth |
SPIN
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
FGR
2008
IEEE
14 years 2 months ago
2008
IEEE
One prediction about this future of pervasive technology is that people will carry the tools needed to interface with technological resources sprinkled through out the environment...
FGR
2008
IEEE
14 years 2 months ago
2008
IEEE
Many facial image analysis methods rely on learningbased techniques such as Adaboost or SVMs to project classifiers based on the selection of local image filters (e.g., Haar and...
IROS
2008
IEEE
14 years 2 months ago
2008
IEEE
— In this paper we outline a grasp planning system designed to augment the cortical control of a prosthetic arm and hand. A key aspect of this task is the presence of on-line use...
CODES
2007
IEEE
14 years 2 months ago
2007
IEEE
Heterogeneous multiprocessors are emerging as the dominant implementation approach to embedded multiprocessor systems. In addition to having processing elements suited to the targ...