Sciweavers

6168 search results - page 145 / 1234
» Research methods for HCI
Sort
View
ROBOCUP
2001
Springer
121views Robotics» more  ROBOCUP 2001»
15 years 11 months ago
A Control Method for Humanoid Biped Walking with Limited Torque
This paper presents an energy-ecient biped walking method that has been implemented in a low-cost humanoid platform, PINO, for various research purposes. For biped walking robots ...
Fuminori Yamasaki, Ken Endo, Minoru Asada, Hiroaki...

Source Code
667views
17 years 2 months ago
A Toolbox of Level Set Methods
"This Toolbox is designed to minimize the sum of coding, execution and analysis time for those who want to explore level set methods. Computationally, Matlab is not the fastes...
Ian Mitchell
ICARCV
2006
IEEE
187views Robotics» more  ICARCV 2006»
16 years 14 days ago
Image Segmentation Methods for Detecting Blood Vessels in Angiography
— Computer-assisted detection and segmentation of blood vessels in angiography are crucial for endovascular treatments and embolization. In this article, I give an overview of th...
Albert C. S. Chung
BMCBI
2008
110views more  BMCBI 2008»
15 years 6 months ago
Assessment of composite motif discovery methods
Background: Computational discovery of regulatory elements is an important area of bioinformatics research and more than a hundred motif discovery methods have been published. Tra...
Kjetil Klepper, Geir Kjetil Sandve, Osman Abul, Jo...
SIGADA
2005
Springer
15 years 12 months ago
The affordable application of formal methods to software engineering
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
James F. Davis