A Formal Specification and Verification Framework for Designing and Verifying Reliable and Dependable Software for Computerized Numerical Control (CNC) Systems.

[BibT_eX]

[DOI]

Yunan Cao

Zili Shao

Proceedings of the 28th IEEE International Conference on Distributed Computing Systems (ICDCS 2008), 2008

A Speech Interaction System Based on Finite State Machine for Service Robot.

[BibT_eX]

[DOI]

Yong Tao

Hongxing Wei

Tianmiao Wang

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

MPSOC Architectural Design and Synthesis for Real-Time Biomedical Signal Processing in Gamma Cameras.

[BibT_eX]

Proceedings of the First International Conference on Biomedical Electronics and Devices, 2008

Staying-alive and energy-efficient path planning for mobile robots.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2008

A new feedrate adaptation control NURBS interpolation based on de boor algorithm in CNC systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2008

2007

Implementing Hybrid Operating Systems with Two-Level Hardware Interrupts.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

Conceptual design and recovery stroke mode of a mechanical pectoral fin.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2007

A 5-DOF table-mounted surgical robot.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2007

The design and control of a low cost humanoid robot.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2007

Soft-Sensor Method Based on Least Square Support Vector Machines Within Bayesian Evidence Framework.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Networks, 2007

Interconnection Synthesis of MPSoC Architecture for Gamma Cameras.

[BibT_eX]

[DOI]

Proceedings of the Embedded and Ubiquitous Computing, International Conference, 2007

2006

Research of FNF Internal Fixation Operation Parametric Planning and Evaluation System.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2006

Reconfiguration Research on Modular Mobile Robot.

[BibT_eX]

[DOI]

Dan Zou

Tianmiao Wang

Jianhong Liang

Proceedings of the 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2006

An Internet Robot Assistant Tele-neurosurgery System Case.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2006

A Workflow for Robot Assisted Neurosurgery.

[BibT_eX]

[DOI]

Da Liu

Tianmiao Wang

Proceedings of the 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2006

Intelligent Coordinated Control of Multiple Teleoperated Robots.

[BibT_eX]

[DOI]

Wusheng Chou

Tianmiao Wang

Proceedings of the Intelligent Data Engineering and Automated Learning, 2006

A Virtual Reality Training System for Robot Assisted Neurosurgery.

[BibT_eX]

[DOI]

Da Liu

Tianmiao Wang

Proceedings of the Advances in Artificial Reality and Tele-Existence, 2006

Extracting Space Welding Seam for Virtual Teach-In of Robotic Welding System.

[BibT_eX]

[DOI]

Wusheng Chou

Tianmiao Wang

Proceedings of the Advances in Artificial Reality and Tele-Existence, 2006

2005

Experiment of robofish aided underwater archaeology.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2005

Stabilization based design and experimental research of a fish robot.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2005

2004

Augmented reality based preoperative planning for robot assisted tele-neurosurgery.

[BibT_eX]

[DOI]

Wusheng Chou

Tianmiao Wang

Yuru Zhang

Proceedings of the IEEE International Conference on Systems, 2004

A hybrid algorithm for the kinematic control of redundant robots.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2004

Modularization of Miniature Tracked Reconnaissance Robot.

[BibT_eX]

[DOI]

Proceedings of the 2004 IEEE International Conference on Robotics and Biomimetics, 2004

BPOR: a fluoroscopy-based robot navigating system for distal locking of intramedullary nails.

[BibT_eX]

[DOI]

Tianmiao Wang

Wenyong Liu

Lei Hu

Proceedings of the 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems, Sendai, Japan, September 28, 2004

Remote Surgery Case: Robot-assisted Teleneurosurgery.

[BibT_eX]

[DOI]

Proceedings of the 2004 IEEE International Conference on Robotics and Automation, 2004

Neuromaster: a Robot System for Neurosurgery.

[BibT_eX]

[DOI]

Proceedings of the 2004 IEEE International Conference on Robotics and Automation, 2004

Haptic Interaction with Virtual Environment using an Arm Type Exoskeleton Device.

[BibT_eX]

[DOI]

Wusheng Chou

Tianmiao Wang

Jing Xiao

Proceedings of the 2004 IEEE International Conference on Robotics and Automation, 2004

2003

Human-computer interactive simulation for the training of minimally invasive neurosurgery.

[BibT_eX]

[DOI]

Wusheng Chou

Tianmiao Wang

Proceedings of the IEEE International Conference on Systems, 2003

Computer and robot assisted tele-neurosurgery.

[BibT_eX]

[DOI]

Proceedings of the 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems, Las Vegas, Nevada, USA, October 27, 2003

Design of Data Glove and Arm Type Haptic Interface.

[BibT_eX]

[DOI]

Wusheng Chou

Tianmiao Wang

Le Hu

Proceedings of the 11th International Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems (HAPTICS 2003), 2003

2001

A low-cost internet-based telerobotic system for access to remote laboratories.

[BibT_eX]

[DOI]

Artif. Intell. Eng., 2001

The design of multimodal human-machine interface for teleoperation.

[BibT_eX]

[DOI]

Wusheng Chou

Tianmiao Wang

Proceedings of the IEEE International Conference on Systems, 2001

A Simulation and Training Systems of Robot Assisted Surgery Based on Virtual Reality.

[BibT_eX]

[DOI]

Proceedings of the Medical Imaging and Augmented Reality: First International Workshop, 2001

Design and Control of the BUAA Four-Fingered Robotic Hand.

[BibT_eX]

[DOI]

Proceedings of the 2001 IEEE International Conference on Robotics and Automation, 2001

Study On Robot-Assisted Minimally Invasive Neurosugery and its Clinical Application.

[BibT_eX]

[DOI]

Proceedings of the 2001 IEEE International Conference on Robotics and Automation, 2001

2000

A Virtual Brain for Stereotactic Planning and Supporting Neurosurgery.

[BibT_eX]

[DOI]

Int. J. Virtual Real., 2000

1999

Share Control in Intelligent Arm/Hand Teleoperated System.

[BibT_eX]

[DOI]

Proceedings of the 1999 IEEE International Conference on Robotics and Automation, 1999

1998

A Robotics System for Stereotactic Neurosurgery and Its Clinical Application.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 1998

1996

Fuzzy logic based behavior fusion for navigation of an intelligent mobile robot.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 1996

1992

Time-varying potential field based 'perception-action' behaviors of mobile robot.

[BibT_eX]

[DOI]

Tianmiao Wang

Bo Zhang

Proceedings of the 1992 IEEE International Conference on Robotics and Automation, 1992

Tianmiao Wang

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...