Sciweavers

7661 search results - page 272 / 1533
» Languages and the Computing Profession
Sort
View
PEPM
2007
ACM
16 years 23 days ago
The semantics of graphical languages
Visual notations are pervasive in circuit design, control systems, and increasingly in mainstream programming environments. Yet many of the foundational advances in programming la...
Stephan Ellner, Walid Taha
APLAS
2006
ACM
16 years 18 days ago
Proof Abstraction for Imperative Languages
straction for Imperative Languages William L. Harrison Dept. of Computer Science, University of Missouri, Columbia, Missouri, USA. ty in programming language semantics derives fro...
William L. Harrison
FPL
2005
Springer
100views Hardware» more  FPL 2005»
16 years 5 days ago
HAIL: A Hardware-Accelerated Algorithm for Language Identification
A hardware-accelerated algorithm has been designed to automatically identify the primary languages used in documents transferred over the Internet. The algorithm has been implemen...
Charles M. Kastner, G. Adam Covington, Andrew A. L...
ACII
2005
Springer
16 years 3 days ago
Static Gesture Quantization and DCT Based Sign Language Generation
To collect data for sign language recognition is not a trivial task. The lack of training data has become a bottleneck in the research of singer independence and large vocabulary r...
Chenxi Zhang, Feng Jiang, Hongxun Yao, Guilin Yao,...
CONCUR
2003
Springer
15 years 12 months ago
Priority Rewrite Systems for OSOS Process Languages
We propose an algorithm for generating a Priority Rewrite System (PRS) for an arbitrary process language in the OSOS format such that rewriting of process terms is sound for bisim...
Irek Ulidowski