Sciweavers

1289 search results - page 155 / 258
» Flexible Language Interoperability
Sort
View
ENTCS
2006
142views more  ENTCS 2006»
13 years 10 months ago
The Rewriting Logic Semantics Project
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...
José Meseguer, Grigore Rosu
CIE
2004
Springer
13 years 10 months ago
University of Southern California's Institute for Creative Technologies
When dealing with large, distributed systems that use state-of-the-art components, individual components are usually developed in parallel. As development continues, the decouplin...
Michael van Lent
SIGCSE
2002
ACM
207views Education» more  SIGCSE 2002»
13 years 9 months ago
Exploration of process interaction in operating systems: a pipe-fork simulator
Abstract This paper examines the use of a simulator to explore process interaction in Unix. The simulator allows instructors to trace through a variety of programs and to show how ...
Steven Robbins
EMNLP
2010
13 years 8 months ago
It Depends on the Translation: Unsupervised Dependency Parsing via Word Alignment
We reveal a previously unnoticed connection between dependency parsing and statistical machine translation (SMT), by formulating the dependency parsing task as a problem of word a...
Samuel Brody
EMNLP
2009
13 years 8 months ago
A Structural Support Vector Method for Extracting Contexts and Answers of Questions from Online Forums
This paper addresses the issue of extracting contexts and answers of questions from post discussion of online forums. We propose a novel and unified model by customizing the struc...
Wen-Yun Yang, Yunbo Cao, Chin-Yew Lin