Sciweavers

2785 search results - page 159 / 557
» Simulating Fluid-Solid Interaction
Sort
View
ICRA
2008
IEEE
152views Robotics» more  ICRA 2008»
15 years 8 months ago
Stabilization algorithm for a high speed car-like robot achieving steering maneuver
— This paper deals with design and implementation of a stabilization algorithm for a car like robot performing high speed turns. The control of such a kind of system is rather di...
Eric Lucet, Christophe Grand, Damien Sallé,...
CONTEXT
2007
Springer
15 years 8 months ago
Dialectic Approach for Using Viewpoint Discrepancies in Learning
Abstract. The paper proposes a dialectic approach to exploit discrepancies of viewpoints for learning. The approach is illustrated with an elaborated example. A computational frame...
Christiana Panayiotou, Vania Dimitrova
IROS
2006
IEEE
122views Robotics» more  IROS 2006»
15 years 8 months ago
Team-Driven Multi-Model Motion Tracking with Communication
— Interactions are frequently seen between the robot and the targets being tracked within the robotics community. Modeling the interactions using knowledge of robot cognition imp...
Yang Gu, Manuela M. Veloso
CHI
2010
ACM
15 years 7 months ago
Vote-o-graph: a dishonest touchscreen voting system
We present Vote-O-Graph, an experimental touchscreen voting system designed to simulate reported interface issues in existing electronic voting systems. Touchscreen miscalibration...
Andrea L. Mascher, Paul T. Cotton, Douglas W. Jone...
ENTCS
2002
82views more  ENTCS 2002»
15 years 1 months ago
A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity
We give a short description of Hybrid, a new tool for interactive theorem proving, s introduced in [4]. It provides a form of Higher Order Abstract Syntax (HOAS) combined consiste...
Alberto Momigliano, Simon Ambler, Roy L. Crole