— We describe the design and control of a new bio-inspired climbing robot designed to scale smooth vertical surfaces using directional adhesive materials. The robot, called Stick...
Sangbae Kim, Matthew Spenko, Salomon Trujillo, Bar...
Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...
A face recognition system must recognize a face from a novel image despite the variations between images of the same face. A common approach to overcoming image variations because...
Multiparty collaborative applications in which groups of people act in concert to achieve some real-world goal abound. In these situations, it is useful for a central planning age...
Inclusion of domain knowledge in a process of knowledge discovery in databases is a complex but very important part of successful knowledge discovery solutions. In real-life data m...