Sciweavers

1540 search results - page 265 / 308
» Deceptive agents and language
Sort
View
PRIMA
2009
Springer
14 years 2 months ago
Designing Protocols for Collaborative Translation
Abstract. In this paper, we present a protocol for collaborative translation, where two non-bilingual people who use different languages collaborate to perform the task of transla...
Daisuke Morita, Toru Ishida
VSTTE
2005
Springer
14 years 1 months ago
Verifying Design with Proof Scores
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
Kokichi Futatsugi, Joseph A. Goguen, Kazuhiro Ogat...
VL
1996
IEEE
117views Visual Languages» more  VL 1996»
14 years 3 days ago
Tactile Programming: A Unified Manipulation Paradigm Supporting Program Comprehension, Composition and Sharing
Although visual programming techniques have been used to lower the threshold of programming for end users, they are not sufficient for creating end user programming environments t...
Alexander Repenning, James Ambach
IIE
2007
125views more  IIE 2007»
13 years 7 months ago
Should LOGO Keep Going FORWARD 1?
LOGO has been evolving in incremental steps for 40 years. This has resulted in steady progress but some regions of the space of all programming languages for children cannot be re...
Ken Kahn
WWW
2003
ACM
14 years 8 months ago
StoryML: Enabling Distributed Interfaces for Interactive Media
This paper introduces an adaptive architecture for presenting interactive timed media onto distributed networked devices. The interactive presentation is documented in StoryML, an...
Jun Hu