Sciweavers

4743 search results - page 153 / 949
» The PlusCal Algorithm Language
Sort
View
130
Voted
DLOG
2004
15 years 4 months ago
Extended Query Facilities for Racer and an Application to Software-Engineering Problems
er reports on a pragmatic query language for Racer. The abstract syntax and semantics of this query language is defined. Next, the practical relevance of this query language is sh...
Volker Haarslev, Ralf Möller, Ragnhild Van De...
144
Voted
POPL
2011
ACM
14 years 5 months ago
Dynamic inference of static types for ruby
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...
Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. F...
100
Voted
AVSS
2007
IEEE
15 years 9 months ago
Recovering the linguistic components of the manual signs in American Sign Language
Manual signs in American Sign Language (ASL) are constructed using three building blocks – handshape, motion, and place of articulations. Only when these three are successfully ...
Liya Ding, Aleix M. Martínez
ICPR
2006
IEEE
15 years 8 months ago
A Unified System for Segmentation and Tracking of Face and Hands in Sign Language Recognition
This paper presents a unified system for segmentation and tracking of face and hands in a sign language recognition using a single camera. Unlike much related work that uses colou...
George Awad, Junwei Han, Alistair Sutherland
SCAM
2005
IEEE
15 years 8 months ago
Control Flow Graph Reconstruction for Assembly Language Programs with Delayed Instructions
Most software for embedded systems, including digital signal processing systems, is coded in assembly language. For both understanding the software and for reverse compiling it to...
Nerina Bermudo, Andreas Krall, R. Nigel Horspool