Sciweavers

1105 search results - page 27 / 221
» From Languages to Systems: Understanding Practical Applicati...
Sort
View
NAACL
2010
13 years 5 months ago
Everybody loves a rich cousin: An empirical study of transliteration through bridge languages
Most state of the art approaches for machine transliteration are data driven and require significant parallel names corpora between languages. As a result, developing transliterat...
Mitesh M. Khapra, A. Kumaran, Pushpak Bhattacharyy...
ANSS
2002
IEEE
14 years 21 days ago
Modelica-A General Object-Oriented Language for Continuous and Discrete-Event System Modeling and Simulation
Modelica is a general equation-based object-oriented language for continuous and discrete-event modeling of physical systems for the purpose of efficient simulation. The language ...
Peter Fritzson, Peter Bunus
EUROMICRO
2006
IEEE
14 years 1 months ago
Moving Architectural Description from Under the Technology Lamppost
Software architecture description languages (ADLs) were a particularly active research area in the 1990s. In 2000, we published an extensive study of existing ADLs, which has serv...
Nenad Medvidovic
CLIN
2004
13 years 9 months ago
Trailfinder - A Case Study in Extracting Spatial Information Using Deep Language Processing
The present paper reports on an end-to-end application using a deep processing grammar to extract spatial and temporal information of prepositional and adverbial expressions from ...
Lars Hellan, Dorothee Beermann, Jon Atle Gulla, At...
FM
2009
Springer
110views Formal Methods» more  FM 2009»
14 years 2 months ago
Reduced Execution Semantics of MPI: From Theory to Practice
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishn...