Sciweavers

14 search results - page 2 / 3
» A Translation Aid System with a Stratified Lookup Interface
Sort
View
ACL
1990
13 years 8 months ago
Multiple Underlying Systems: Translating User Requests into Programs to Produce Answers
A user may typically need to combine the strengths of more than one system in order to perform a task. In this paper, we describe a component of the Janus natural language interfa...
Robert J. Bobrow, Philip Resnik, Ralph M. Weisched...
CHI
2009
ACM
14 years 8 months ago
Simulated augmented reality windshield display as a cognitive mapping aid for elder driver navigation
A common effect of aging is decline in spatial cognition. This is an issue for all elders, but particularly for elder drivers. To address this driving issue, we propose a novel co...
Seungjun Kim, Anind K. Dey
GRAPHICSINTERFACE
2001
13 years 8 months ago
Aiding Manipulation of Handwritten Mathematical Expressions through Style-Preserving Morphs
We describe a technique for enhancing a user's ability to manipulate hand-printed symbolic information by automatically improving legibility and simultaneously providing imme...
Richard Zanibbi, Kevin Novins, James Arvo, Katheri...
LCTRTS
2010
Springer
13 years 5 months ago
Translating concurrent action oriented specifications to synchronous guarded actions
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...
Jens Brandt, Klaus Schneider, Sandeep K. Shukla
FSEN
2009
Springer
13 years 11 months ago
Specification and Validation of Behavioural Protocols in the rCOS Modeler
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...
Zhenbang Chen, Charles Morisset, Volker Stolz