Sciweavers

850 search results - page 83 / 170
» An Expeditious Approach to Modeling IDE Interaction Design
Sort
View
ICTAI
2008
IEEE
15 years 4 months ago
Information Extraction as an Ontology Population Task and Its Application to Genic Interactions
Ontologies are a well-motivated formal representation to model knowledge needed to extract and encode data from text. Yet, their tight integration with Information Extraction (IE)...
Alain-Pierre Manine, Érick Alphonse, Philip...
DAC
1999
ACM
15 years 2 months ago
ipChinook: an Integrated IP-based Design Framework for Distributed Embedded Systems
IPCHINOOK is a design tool for distributed embedded systems. It gains leverage from the use of a carefully chosen set of design ions that raise the level of designer interaction d...
Pai H. Chou, Ross B. Ortega, Ken Hines, Kurt Partr...
IFM
2004
Springer
125views Formal Methods» more  IFM 2004»
15 years 3 months ago
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
Paul Curzon, Ann Blandford
IROS
2006
IEEE
208views Robotics» more  IROS 2006»
15 years 4 months ago
Modeling Soft Contact Mechanism of Biological Cells Using an Atomic Force Bio-Microscope
— The development of a mechanical force sensing device system based on force/vision feedback control for exploring in vitro the contact mechanics of human adherent cervix Epithel...
Maxime Girot, Mehdi Boukallel, Stephane Rég...
IROS
2009
IEEE
162views Robotics» more  IROS 2009»
15 years 4 months ago
Novel mechanical design of biped robot SHERPA using 2 DOF cable differential modular joints
— This paper discusses the mechanical kinematics solutions and design aspects of the biped robot SHERPA, a bipedal platform able to walk and carry load. Starting from the analysi...
Ionut Mihai Constantin Olaru, Sébastien Kru...