Sciweavers

2393 search results - page 360 / 479
» Fuzzy-UCS: preliminary results
Sort
View
HRI
2010
ACM
15 years 10 months ago
From manipulation to communicative gesture
— Assisting humans in their daily lives requires robots to be proficient in manual tasks and effective in communicating states/intentions with human users. This paper advocates ...
Shichao Ou, Roderic A. Grupen
ACSAC
1999
IEEE
15 years 10 months ago
Safe Areas of Computation for Secure Computing with Insecure Applications
Currently the computer systems and software used by the average user offer virtually no security. Because of this many attacks, both simulated and real, have been described by the...
André L. M. dos Santos, Richard A. Kemmerer
COMPGEOM
1999
ACM
15 years 10 months ago
Motion Planning for a Rigid Body Using Random Networks on the Medial Axis of the Free Space
Several motion planning methods using networks of randomly generated nodes in the free space have been shown to perform well in a number of cases, however their performance degrad...
Steven A. Wilmarth, Nancy M. Amato, Peter F. Still...
DATE
1999
IEEE
135views Hardware» more  DATE 1999»
15 years 10 months ago
Combinational Equivalence Checking Using Satisfiability and Recursive Learning
The problem of checking the equivalence of combinational circuits is of key significance in the verification of digital circuits. In recent years, several approaches have been pro...
João P. Marques Silva, Thomas Glass
FCCM
1999
IEEE
111views VLSI» more  FCCM 1999»
15 years 10 months ago
Optimizing FPGA-Based Vector Product Designs
This paper presents a method, called multiple constant multiplier trees MCMTs, for producing optimized recon gurable hardware implementations of vector products. An algorithm for ...
Dan Benyamin, John D. Villasenor, Wayne Luk