Sciweavers

1036 search results - page 47 / 208
» Design methods as discourse on practice
Sort
View
IJCAI
1989
13 years 10 months ago
Motion Planning of Multi-Joint Robotic Arm with Topological Dimension Reduction Method
This paper explores the realization of robotic arm motion planning, especially Findpath Problem, which is a basic motion planning problem that arises in the development of robotic...
Bo Zhang, Ling Zhang, Tian Zhang
FORTE
1994
13 years 10 months ago
Proving the value of formal methods
The record of successful applications of formal verification techniques is slowly growing. Our ultimate aim, however, is not to perform small pilot projects that show that verific...
Gerard J. Holzmann
DESRIST
2009
Springer
115views Education» more  DESRIST 2009»
13 years 12 months ago
Ontological design
In this paper, we describe the concept of ontological design. We show how ontologies can be used as cognitive maps of complex, ill-structured, plastic problems. They can be used t...
Arkalgud Ramaprasad, Sridhar S. Papagari
CHI
2004
ACM
14 years 9 months ago
Context-sensitive design and human-centered interactive systems
Context is a critical element in forming the performance of interactive systems. As the functional diversity and range of use context of the system increase, context sensitivity b...
Keiichi Sato, Ken Douros
AEI
2002
70views more  AEI 2002»
13 years 8 months ago
A performance-based approach to wheelchair accessible route analysis
This paper presents a method to determine if a usable wheelchair accessible route in a facility exists using motion-planning techniques. We use a `performance-based' approach...
Charles S. Han, Kincho H. Law, Jean-Claude Latombe...