Sciweavers

7527 search results - page 1104 / 1506
» Design and implementation of the KioskNet system
Sort
View
IEAAIE
1994
Springer
15 years 11 months ago
Large-Scale Machine Translation: An Interlingua Approach
In this paper we discuss the design and development of an interlingua for a large-scale MT project. We also discuss how the resulting KANT interlingua constrains complexity, suppo...
Deryle W. Lonsdale, Alexander Franz, John R. R. Le...
ISOOMS
1994
15 years 11 months ago
Quantitative and Qualitative Aspects of Object-Oriented Software Development
Although object-oriented programming techniques have evolved into an accepted technology with recognized benefits for software development, profound investigations of qualitative a...
Gustav Pomberger, Wolfgang Pree
ACMIDC
2009
15 years 11 months ago
Tangible optical chess: a laser strategy game on an interactive tabletop
This paper presents Tangible Tracking Table, an interactive tabletop display, and Optical Chess, a strategy game. We discuss the design and implementation of both systems and repo...
David Joyner, Chih-Sung (Andy) Wu, Ellen Yi-Luen D...
TACAS
2000
Springer
89views Algorithms» more  TACAS 2000»
15 years 11 months ago
The PROSPER Toolkit
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...
Louise A. Dennis, Graham Collins, Michael Norrish,...
NOSSDAV
1995
Springer
15 years 11 months ago
A Distributed Real-Time MPEG Video Audio Player
Abstract. This paper presents the design, implementation and experimental analysis of a distributed, real-time MPEG video and audio player. The player is designed for use across th...
Shanwei Cen, Calton Pu, Richard Staehli, Crispin C...
« Prev « First page 1104 / 1506 Last » Next »