Sciweavers

3653 search results - page 40 / 731
» On Recognizable Timed Languages
Sort
View
VEE
2012
ACM
255views Virtualization» more  VEE 2012»
13 years 5 months ago
Adding dynamically-typed language support to a statically-typed language compiler: performance evaluation, analysis, and tradeof
Applications written in dynamically typed scripting languages are increasingly popular for Web software development. Even on the server side, programmers are using dynamically typ...
Kazuaki Ishizaki, Takeshi Ogasawara, José G...
EMSOFT
2006
Springer
15 years 1 months ago
A hierarchical coordination language for interacting real-time tasks
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...
Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli...
AIEDU
2007
86views more  AIEDU 2007»
14 years 10 months ago
A Study of Feedback Strategies in Foreign Language Classrooms and Tutorials with Implications for Intelligent Computer-Assisted
This paper presents two new corpus-based studies of feedback in the domain of teaching Spanish as a foreign language, concentrating on the type and frequency of different feedback ...
Anita Ferreira, Johanna D. Moore, Chris Mellish
JUCS
2010
112views more  JUCS 2010»
14 years 8 months ago
A Note on the P-completeness of Deterministic One-way Stack Language
: The membership problems of both stack automata and nonerasing stack automata are shown to be complete for polynomial time.
Klaus-Jörn Lange
CICLING
2003
Springer
15 years 3 months ago
Natural Language in Information Retrieval
It seems the time is ripe for the two to meet: NLP has grown out of prototypes and IR is having hard time trying to improve precision. Two examples of possible approaches are consi...
Elzbieta Dura