Sciweavers

32117 search results - page 358 / 6424
» Design for Unanticipated Use..
Sort
View
UIST
1993
ACM
15 years 10 months ago
Model-based User Interface Design by Example and by Interview
Model-based user interface design is centered around a description of application objects and operations at a level of ion higher than that of code. A good model can be used to su...
Martin R. Frank, James D. Foley
ICRA
2010
IEEE
180views Robotics» more  ICRA 2010»
15 years 4 months ago
Design, simulation and evaluation of kinematic alternatives for Insertable Robotic Effectors Platforms in Single Port Access Sur
This paper presents the task specifications for designing a novel Insertable Robotic Effectors Platform (IREP) with integrated stereo vision and surgical intervention tools for Sin...
Jienan Ding, Kai Xu 0005, Roger E. Goldman, Peter ...
ZUM
2005
Springer
206views Formal Methods» more  ZUM 2005»
16 years 6 days ago
Component Reuse in B Using ACL2
Abstract. We present a new methodology that permits to reuse an existing hardware component that has not been developed within the B framework while maintaining a correct design ï¬...
Yann Zimmermann, Diana Toma
CISSE
2008
Springer
15 years 8 months ago
Using B-trees to Implement Water: a Portable, High Performance, High-Level Language
- To achieve high performance, the next generation of high-level programming languages should incorporate databases as core technology. Presented here are the design considerations...
Aubrey Jaffer, Mike Plusch, Robert Nilsson
ANLP
1997
74views more  ANLP 1997»
15 years 8 months ago
An English to Turkish Machine Translation System Using Structural Mapping
This paper describes the design and implementation of an English-Turkish machine translation (MT) system developed as a part of the TU-Language project supported by a NATO Science...
Cigdem Keyder Turhan