3616 search results - page 457 / 724 » Support Tucker Machines |
195
click to vote
JSA
2008
15 years 6 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
152
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
In this paper we provide a study about crime scenes and its features used in criminal investigations. We argue that the crime scene provides a large set of features that can be us...
198
click to vote
ICPR
2010
IEEE
15 years 5 months ago
2010
IEEE
We present a novel human action recognition system based on segmented skeletal features which are separated into several human body parts such as face, torso and limbs. Our propos...
169
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
—To operate autonomously in forested environments, unmanned ground vehicles (UGVs) must be able to identify the load-bearing surface of the terrain (i.e. the ground). This paper ...
173
click to vote
IEEEHPCS
2010
15 years 5 months ago
2010
An efficient method for face recognition which is robust under illumination variations is proposed. The proposed method achieves the illumination invariants based on the reflectan...