Sciweavers

2370 search results - page 223 / 474
» On the Revival of Dynamic Languages
Sort
View
POPL
2000
ACM
15 years 11 months ago
Enforcing Trace Properties by Program Transformation
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
Thomas Colcombet, Pascal Fradet
FMCO
2007
Springer
196views Formal Methods» more  FMCO 2007»
15 years 11 months ago
Coordinating Object Oriented Components Using Data-Flow Networks
We propose a framework for component-based modeling of distributed systems. It provides separation of concerns between computation (in object oriented components), coordination (vi...
Mohammad Mahdi Jaghoori
ACL
2006
15 years 8 months ago
Inducing Word Alignments with Bilexical Synchronous Trees
This paper compares different bilexical tree-based models for bilingual alignment. EM training for the new model benefits from the dynamic programming "hook trick". The ...
Hao Zhang, Daniel Gildea
COMSIS
2007
84views more  COMSIS 2007»
15 years 7 months ago
A simple implementation of grammar libraries
This paper presents an extension of the Tatoo compiler compiler that supports separate compilation and dynamic linking of formal grammars. It allows the developer to define reusabl...
Julien Cervelle, Rémi Forax, Gilles Roussel
ACL
2010
15 years 5 months ago
Speech-Driven Access to the Deep Web on Mobile Devices
The Deep Web is the collection of information repositories that are not indexed by search engines. These repositories are typically accessible through web forms and contain dynami...
Taniya Mishra, Srinivas Bangalore