Sciweavers

4248 search results - page 347 / 850
» Simulating hci for all
Sort
View
RAS
2007
87views more  RAS 2007»
15 years 7 months ago
Vision-based interception of a moving target with a nonholonomic mobile robot
A novel vision-based scheme is presented for driving a nonholonomic mobile robot to intercept a moving target. The proposed method has a two-level structure. On the lower level, t...
Luigi Freda, Giuseppe Oriolo
RAS
2008
167views more  RAS 2008»
15 years 7 months ago
Bio-mimetic impedance control of robotic manipulator for dynamic contact tasks
A human performs a variety of skillful movements by adjusting dynamic characteristics of his or her musculoskeletal system according to a task involved. Such characteristics of hu...
Toshio Tsuji, Yoshiyuki Tanaka
SIGPRO
2008
105views more  SIGPRO 2008»
15 years 7 months ago
Peak constrained two-dimensional quadrantally symmetric eigenfilter design without transition band specification
Abstract-- The design of a two dimensional (2D) quadrantally symmetric FIR filter with peak constrained magnitude response is considered. We further considered the design specifica...
Chi-Wah Kok, Wan-Chi Siu, Ying-Man Law
TODAES
2008
115views more  TODAES 2008»
15 years 7 months ago
Automata-based assertion-checker synthesis of PSL properties
Abstract-- Automata-based methods for generating PSL hardware assertion checkers were primarily considered for use with temporal sequences, as opposed to full-scale properties. We ...
Marc Boule, Zeljko Zilic
CP
2010
Springer
15 years 6 months ago
Local Consistency and SAT-Solvers
In this paper we show that the power of using k-consistency techniques in a constraint problem is precisely captured by using a particular inference rule, which we call positive-hy...
Justyna Petke, Peter Jeavons